Informational interpretation of substructural propositional logics

DOI10.1007/BF01181683MaRDI QIDQ1322438zbMATH OpenFDO

Authors 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) Paraconsistent logics (03B53) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• The logic of information structures
• scientific article; zbMATH DE number 935035
• scientific article; zbMATH DE number 1543335

Cites work

• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1333627 (Why is no real title available?)
• scientific article; zbMATH DE number 1028816 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 9973 (Why is no real title available?)
• scientific article; zbMATH DE number 1406801 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3412605 (Why is no real title available?)
• A semantical study of constructible falsity
• An algebraic approach to non-classical logics
• Constructible falsity
• Constructible falsity and inexact predicates
• Creative and non-creative definitions in the calculus of probability
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Essays in logical semantics
• Intuitionistic logic with strong negation
• Linear logic
• Logic Programming with Strong Negation and Inexact Predicates
• Semantical analyses of propositional systems of Fitch and Nelson
• Semantics for relevant logics
• Sequent-systems and groupoid models. I
• Sequent-systems and groupoid models. II
• The Mathematics of Sentence Structure
• The semantics and proof theory of linear logic

Cited in

(23)

• SUBSTRUCTURAL INQUISITIVE LOGICS
• Tableau method for residuated logic
• Combining linear-time temporal logic with constructiveness and paraconsistency
• scientific article; zbMATH DE number 935035 (Why is no real title available?)
• scientific article; zbMATH DE number 6699702 (Why is no real title available?)
• The logic of information structures
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Normal modal substructural logics with strong negation
• On split negation, strong negation, information, falsification, and verification
• scientific article; zbMATH DE number 1303443 (Why is no real title available?)
• Logical forms, substitutions and information types
• A Useful Substructural Logic
• Linear and affine logics with temporal, spatial and epistemic operators
• Inter-model connectives and substructural logics
• Informational semantics as a third alternative?
• Gentzen-type calculi for involutive quantales
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Connexive conditional logic. I
• Routley star in information-based semantics
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
• Phase semantics and Petri net interpretation for resource-sensitive strong negation
• scientific article; zbMATH DE number 1870417 (Why is no real title available?)

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

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