scientific article; zbMATH DE number 3484054
From MaRDI portal
Publication:4067100
Cited in
(22)- Assertion, Denial and Non-classical Theories
- 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
- Models for a paraconsistent set theory
- On meaningfulness and truth
- A strong model of paraconsistent logic
- Languages with self-reference. II: Knowledge, belief, and modality
- scientific article; zbMATH DE number 3290305 (Why is no real title available?)
- Paths to triviality
- A contextual-hierarchical approach to truth and the liar paradox
- A note on three-valued logic and Tarski theorem on truth definitions
- Truth and meaning
- First degree entailment, symmetry and paradox
- 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
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)
