The following pages link to (Q5772179):
Displaying 26 items.
- Correia semantics revisited (Q300562) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Notes on naive semantics (Q1050329) (← links)
- A criterion of functional completeness for \({\mathfrak B}^3\) (Q1212926) (← links)
- A many-valued semantics for category mistakes (Q1221081) (← links)
- On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species (Q1433787) (← links)
- The natural deduction systems for the three-valued nonsense logics Z and E (Q1647261) (← links)
- Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
- Stone-type representations and dualities for varieties of bisemilattices (Q1744009) (← links)
- Semilattice-based dualities (Q1914068) (← links)
- Logics of nonsense and Parry systems (Q2018590) (← links)
- Propositional and predicate logics of incomplete information (Q2060732) (← links)
- Meaningless divisions (Q2075270) (← links)
- Tableaux and restricted quantification for systems related to weak Kleene logic (Q2142060) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- Provability as a deontic notion (Q2562852) (← links)
- A computational interpretation of conceptivism (Q4583359) (← links)
- Defining LFIs and LFUs in extensions of infectious logics (Q4586167) (← links)
- Logical Opposition and Collective Decisions (Q4915595) (← links)
- Non Truth-Functional Many-Valuedness (Q4916205) (← links)
- Deductive systems with unified multiple-conclusion rules (Q5061418) (← links)
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen (Q5572299) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)
- Unified deductive systems: an outline (Q6146292) (← links)
- Editorial introduction (Q6642818) (← links)
