Embedding classical logic into basic orthologic with a primitive modality

DOI10.1093/JIGPAL/6.3.383MaRDI QIDQ4392657zbMATH OpenOpenAlexFDO

Authors Giulia Battilotti

Publication date 2 March 1999

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/6.3.383

zbMATH Keywords

basic logicbasic orthologicparaconsistent quantum logicsequential calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Quantum logic (03G12)

Recommendations

• From basic logic to quantum logics with cut-elimination
• Basic logic: reflection, symmetry, visibility
• Labeled Sequent Calculus for Orthologic
• Exponential convergence to the stationary measure for a class of 1D Lagrangian systems with random forcing

Cited in

(3)

• Embedding from multilattice logic into classical logic and vice versa
• Basic logic: reflection, symmetry, visibility
• scientific article; zbMATH DE number 2213628 (Why is no real title available?)

This page was built for publication: Embedding classical logic into basic orthologic with a primitive modality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4392657)