scientific article
From MaRDI portal
Publication:4067100
zbMATH Open0309.02065MaRDI QIDQ4067100FDOQ4067100
Publication date: 1974
Title of this publication is not available (Why is that?)
Cited In (22)
- Positive abstraction and extensionality
- Logical foundations for programming semantics
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Axiomatic theory of enumeration: A note on the axiom of extensionality
- On partial and paraconsistent logics
- Property theory: The type-free approach \(v\). The Church approach
- On meaningfulness and truth
- First Degree Entailment, Symmetry and Paradox
- Models for a paraconsistent set theory
- A strong model of paraconsistent logic
- Languages with self-reference. II: Knowledge, belief, and modality
- Title not available (Why is that?)
- A contextual-hierarchical approach to truth and the liar paradox
- Paths to triviality
- A note on three-valued logic and Tarski theorem on truth definitions
- Truth and meaning
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
- Cuts and gluts
- Approximate databases: a support tool for approximate reasoning
- Is there an axiomatic semantics for standard pure Prolog?
- Three theories of nominalized predicates
- Assertion, Denial and Non-classical Theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4067100)