Exact truth and double-rail logics
From MaRDI portal
Cites work
- A story semantics for implication
- Abstract algebraic logic. An introductory textbook
- An infinity of super-Belnap logics
- Application of Ternary Algebra to the Study of Static Hazards
- Defining LFIs and LFUs in extensions of infectious logics
- Exactly true and non-falsity logics meeting infectious ones
- Faulty Belnap computers and subsystems of FDE
- Gates and circuits via Dunn semantics
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 6157349 (Why is no real title available?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logic on the Australian plan
- Logics of upsets of De Morgan lattices
- Logics of variable inclusion
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- N-Fail-Safe Logical Systems
- N-Fail-Safe Sequential Machines
- Nothing but the truth
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- On notation for ordinal numbers.
- Reasoning with logical bilattices
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- The value of the four values
- The value of the one value: \textit{exactly true logic} revisited
This page was built for publication: Exact truth and double-rail logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7362860)
