Logics of variable inclusion

DOI10.1007/978-3-031-04297-3MaRDI QIDQ2673340zbMATH OpenOpenAlexFDO

Authors Stefano Bonzio, Francesco Paoli, Michele Pra Baldi

Publication date 9 June 2022

Published in Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-04297-3

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Other algebras related to logic (03G25) Abstract algebraic logic (03G27)

Cited in

(25)

• Variables as resource in separation logic
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• A logical modeling of severe ignorance
• The structure of locally integral involutive po-monoids and semirings
• Editorial introduction
• Finite Hilbert systems for weak Kleene logics
• De Morgan-Płonka sums
• A new game theoretic semantics (GTS-2) for weak Kleene logics
• Locally integral involutive PO-semigroups
• Enriched Płonka sums
• The external version of a subclassical logic
• Modal weak Kleene logics through variables inclusion
• Relational companions of logics
• Płonka adjunction
• Modal weak Kleene logics: axiomatizations and relational semantics
• Boolean rigs
• Generalized explosion principles
• From Jaśkowski's discussive logic to contemporary paraconsistent systems
• Equational definitions of logical filters
• On the structure of Bochvar algebras
• On the structure of balanced residuated partially ordered monoids
• Left variable inclusion logics associated with classical logic
• On the structure and theory of McCarthy algebras
• Barycentric algebras: convexity and order
• Exact truth and double-rail logics

This page was built for publication: Logics of variable inclusion

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