Informational interpretation of substructural propositional logics

DOI10.1007/BF01181683zbMath0795.03014MaRDI QIDQ1322438

Heinrich Wansing

Publication date: 1 September 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

substructural logicsconstructive negationgroupoid semanticsconstructive logicsinformation piecesinformational interpretationsemilattice-ordered monoids

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (14)

Linear and affine logics with temporal, spatial and epistemic operators ⋮ Tableau method for residuated logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Normal modal substructural logics with strong negation ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Informational semantics as a third alternative? ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ Connexive Conditional Logic. Part I ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi ⋮ Gentzen-type calculi for involutive quantales

Cites Work

• Linear logic
• Essays in logical semantics
• The semantics and proof theory of linear logic
• Sequent-systems and groupoid models. I
• An algebraic approach to non-classical logics
• Semantical analyses of propositional systems of Fitch and Nelson
• Intuitionistic logic with strong negation
• Sequent-systems and groupoid models. II
• Creative and non-creative definitions in the calculus of probability
• The Mathematics of Sentence Structure
• Constructible falsity and inexact predicates
• Logic Programming with Strong Negation and Inexact Predicates
• A semantical study of constructible falsity
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Semantics for relevant logics
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Informational interpretation of substructural propositional logics