Non-commutative propositional logic with short-circuit evaluation
From MaRDI portal
Publication:5862001
DOI10.1080/11663081.2021.2010954OpenAlexW4200265263MaRDI QIDQ5862001FDOQ5862001
Daan J. C. Staudt, Alban Ponse, J. A. Bergstra
Publication date: 3 March 2022
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2021.2010954
Recommendations
- Non-commutative Łukasiewicz propositional logic
- Dynamic non-commutative logic
- Non‐commutative intuitionistic linear logic
- scientific article
- Proposition algebra and short-circuit logic
- scientific article; zbMATH DE number 1931656
- Non-commutative first-order EQ-logics
- Non-associative, non-commutative multi-modal linear logic
- On noncommutative extensions of linear logic
side effectconditional compositionshort-circuit evaluationnon-commutative conjunctionsequential connectives
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A propositional logic with 4 values: true, false, divergent and meaningless
- A Set of Independent Axioms for Boolean Algebra
- Module algebra
- Sequential operators in computability logic
- A Couple of Novelties in the Propositional Calculus
- Title not available (Why is that?)
- On the axiomatisability of priority
- The algebra of conditional logic
- Data types over multiple-valued logics
- Title not available (Why is that?)
- Planning with regression analysis in transaction logic
- Proposition Algebra and Short-Circuit Logic
- Proposition algebra
- Evaluation Trees for Proposition Algebra
- An independent axiomatisation for free short-circuit logic
- Title not available (Why is that?)
Cited In (1)
Uses Software
This page was built for publication: Non-commutative propositional logic with short-circuit evaluation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5862001)
