The following pages link to (Q4067100):
Displayed 22 items.
- Paths to triviality (Q300832) (← links)
- A strong model of paraconsistent logic (Q558738) (← links)
- Logical foundations for programming semantics (Q685420) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Truth and meaning (Q908898) (← links)
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!) (Q1068068) (← links)
- Three theories of nominalized predicates (Q1073011) (← links)
- Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626) (← links)
- Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
- A note on three-valued logic and Tarski theorem on truth definitions (Q1150605) (← links)
- Axiomatic theory of enumeration: A note on the axiom of extensionality (Q1248504) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- A contextual-hierarchical approach to truth and the liar paradox (Q1876081) (← links)
- Positive abstraction and extensionality (Q3160572) (← links)
- Cuts and gluts (Q3647229) (← links)
- Approximate databases: a support tool for approximate reasoning (Q3647257) (← links)
- First Degree Entailment, Symmetry and Paradox (Q4683209) (← links)
- Assertion, Denial and Non-classical Theories (Q4912986) (← links)
- (Q5572328) (← links)
- On meaningfulness and truth (Q5928921) (← links)