scientific article; zbMATH DE number 510787
From MaRDI portal
Publication:4281260
zbMath0823.03022MaRDI QIDQ4281260
Publication date: 10 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotationformal language of recursionalgorithm for computing a truth-valuedecision algorithm for equations of partially defined termsintensional identity of sentencessense of a first-order sentence
Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) Abstract and axiomatic computability and recursion theory (03D75)
Related Items
THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ The paradox of inference and the non-triviality of analytic information ⋮ Extensional Logic of Hyperintensions ⋮ Situations as Strings ⋮ Gnosis ⋮ Book review of: Jens Erik Fenstad, Grammar, geometry and brain ⋮ Book review of: Răzvan Diaconescu, Institution-independent model theory ⋮ A proof-theoretic view of necessity ⋮ Situations in LTL as strings ⋮ If structured propositions are logical procedures then how are procedures individuated? ⋮ The IO and OI hierarchies revisited
