scientific article; zbMATH DE number 728192
From MaRDI portal
Publication:4324747
zbMath0827.03001MaRDI QIDQ4324747
No author found.
Publication date: 28 February 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logicproof theorydefinite descriptionsmetalogicFirst-order logicPhilosophical companionsemantics of propositional logicsemantics of quantificational logic
Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10)
Related Items (9)
Aristotle's prototype rule-based underlying logic ⋮ The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper ⋮ Logical Consequence Revisited ⋮ The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper ⋮ Domains of Sciences, Universes of Discourse and Omega Arguments ⋮ Australasian Association for Logic 29th Annual Conference ⋮ Frege on referentiality and Julius Caesar in \textit{Grundgesetze} Section 10 ⋮ Explicit Conditionals in the Framework of Classical Conditional Logic ⋮ Schemata: The Concept of Schema in the History of Logic
This page was built for publication:
