scientific article

zbMath0777.03001MaRDI QIDQ4023225

Ermanno Bencivenga, Karel Lambert, Bas C. van Fraassen

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

free logicsupervaluationclassical logicphilosophical logicbivalencepresuppositionsdenotationabstract individualsBeth-style tableau systemnonextensional discoursetruthvalue gaps

Mathematics Subject Classification ID

Other nonclassical logic (03B60) 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) Classical propositional logic (03B05)

Related Items

Tableaux for free logics with descriptions, Free logics are cut-free, Fregean Description Theory in Proof-Theoretical Setting, Free Definite Description Theory – Sequent Calculi and Cut Elimination, Incomplete symbols -- definite descriptions revisited