scientific article; zbMATH DE number 4135919
From MaRDI portal
Publication:3469090
Recommendations
- scientific article; zbMATH DE number 1460604
- scientific article; zbMATH DE number 2209838
- scientific article; zbMATH DE number 5910661
- Linear Abadi and Plotkin Logic
- scientific article; zbMATH DE number 1303723
- Abelian logic and the logics of pointed lattice-ordered varieties
- Abelian logic gates
- A logical approach to abstract algebra
- New Computational Paradigms
- The modal logic of abelian groups
Cited in
(36)- Abelian logic and the logics of pointed lattice-ordered varieties
- Implementing the `Fool's model' of combinatory logic
- How to be really contraction free
- Quine and Slater on paraconsistency and deviance
- Routes to triviality
- From games to truth functions: a generalization of Giles's game
- The Hahn embedding theorem for a class of residuated semigroups
- Group representation for even and odd involutive commutative residuated chains
- On the algebraizability of the implicational fragment of abelian logic
- A predicate extension of real valued logic
- AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920)
- Variations on a theme of Curry
- Involutive uninorm logic with fixed point enjoys finite strong standard completeness
- scientific article; zbMATH DE number 4143975 (Why is no real title available?)
- scientific article; zbMATH DE number 3968546 (Why is no real title available?)
- scientific article; zbMATH DE number 465605 (Why is no real title available?)
- scientific article; zbMATH DE number 605245 (Why is no real title available?)
- scientific article; zbMATH DE number 2019868 (Why is no real title available?)
- scientific article; zbMATH DE number 1748981 (Why is no real title available?)
- scientific article; zbMATH DE number 6841178 (Why is no real title available?)
- Theorems of Alternatives for Substructural Logics
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
- Substructural logics, pluralism and collapse
- Consistent theories in inconsistent logics
- Revisiting Reichenbach's logic
- Linear abelian modal logic
- Relevant consequence relations: an invitation
- Gates and circuits via Dunn semantics
- Variable-sharing as relevance
- Proof theory of abelian connexive logics
- One heresy and one orthodoxy: on dialetheism, dimathematism, and the non-normativity of logic
- An easy road to multi-contra-classicality
- Proof-theoretic analysis of subabelian lattice logic
- Superabelian logics
- Natural deduction and Curry's paradox
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 Q3469090)
