Rahman, Shahid.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Immanent reasoning or equality in action = a plaidoyer for the play level /
by:
SpringerLink (Online service); Rahman, Shahid.
(Language materials, printed)
The realism-antirealism debate in the age of alternative logics
by:
Primiero, Giuseppe.; SpringerLink (Online service); Marion, Mathieu.; Rahman, Shahid.
(Language materials, printed)
Mathematics, Logic, and their Philosophies = Essays in Honour of Mohammad Ardeshir /
by:
Rahman, Shahid.; Mojtahedi, Mojtaba.; SpringerLink (Online service); Zarepour, Mohammad Saleh.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Unity, truth and the liar = the modern relevance of medieval solutions to the liar paradox /
by:
Tulenheimo, Tero.; SpringerLink (Online service); Genot, Emmanuel.; Rahman, Shahid.
(Language materials, printed)
Inferences by Parallel Reasoning in Islamic Jurisprudence = Al-Shīrāzī’s Insights into the Dialectical Constitution of Meaning and Knowledge /
by:
Soufi, Youcef.; Iqbal, Muhammad.; SpringerLink (Online service); Rahman, Shahid.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Linking Game-Theoretical Approaches with Constructive Type Theory = Dialogical Strategies, CTT demonstrations and the Axiom of Choice /
by:
SpringerLink (Online service); Clerbout, Nicolas.; Rahman, Shahid.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Immanent Reasoning or Equality in Action = A Plaidoyer for the Play Level /
by:
Rahman, Shahid.; McConaughey, Zoe.; Clerbout, Nicolas.; Klev, Ansten.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Linking game-theoretical approaches with constructive type theory = dialogical strategies, CTT demonstrations and the axiom of choice /
by:
Clerbout, Nicolas.; Rahman, Shahid.; SpringerLink (Online service)
(Language materials, printed)
The Unity of Science in the Arabic Tradition = Science, Logic, Epistemology and their Interactions /
by:
Rahman, Shahid.; Street, Tony.; SpringerLink (Online service); Tahiri, Hassan.
(Language materials, printed)
New Developments in Legal Reasoning and Logic = From Ancient Law to Modern Legal Systems /
by:
Armgardt, Matthias.; SpringerLink (Online service); Rahman, Shahid.; Kvernenes, Hans Christian Nordtveit.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Type theory.
Medieval philosophy.
Law.
Theory of Computation.
Logic Design.
Information technology—Law and legislation.
Logic.
Philosophy of Law.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Semantics.
Constructivism (Philosophy)
Discourse Analysis.
Discourse analysis.
Axiom of choice.
History of Philosophy.
Game Theory, Economics, Social and Behav. Sciences.
Mathematics—Philosophy.
Medieval Philosophy.
Philosophy.
Realism.
Law—Philosophy.
Arabic.
Logic in AI.
Knowledge, Theory of.
Theories of Law, Philosophy of Law, Legal History.
Science, general.
Game theory.
Legal Aspects of Computing.
Logic programming.
Science
Epistemics.
Computers—Law and legislation.
History of Science.
Logic design.
Epistemology.
Reasoning.
Law—History.
Philosophy of Language.
Philosophy of Mathematics.