scientific article

From MaRDI portal

Revision as of 02:16, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4023225

Jump to:navigation, search

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 logic supervaluation classical logic philosophical logic bivalence presuppositions denotation abstract individuals Beth-style tableau system nonextensional discourse truthvalue 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 (5)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4023225&oldid=17733910"