scientific article
From MaRDI portal
Publication:4067100
zbMath0309.02065MaRDI QIDQ4067100
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A contextual-hierarchical approach to truth and the liar paradox ⋮ Positive abstraction and extensionality ⋮ Paths to triviality ⋮ Some remarks on extending and interpreting theories with a partial predicate for truth ⋮ Languages with self-reference. II: Knowledge, belief, and modality ⋮ A note on three-valued logic and Tarski theorem on truth definitions ⋮ Truth and meaning ⋮ Unnamed Item ⋮ Logical foundations for programming semantics ⋮ Assertion, Denial and Non-classical Theories ⋮ On meaningfulness and truth ⋮ On partial and paraconsistent logics ⋮ A strong model of paraconsistent logic ⋮ Models for a paraconsistent set theory ⋮ First Degree Entailment, Symmetry and Paradox ⋮ Axiomatic theory of enumeration: A note on the axiom of extensionality ⋮ Cuts and gluts ⋮ Approximate databases: a support tool for approximate reasoning ⋮ Is there an axiomatic semantics for standard pure Prolog? ⋮ Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!) ⋮ Property theory: The type-free approach \(v\). The Church approach ⋮ Three theories of nominalized predicates