Informational interpretation of substructural propositional logics

DOI10.1007/BF01181683zbMATH Open0795.03014MaRDI QIDQ1322438FDOQ1322438

Authors: Heinrich Wansing 

Publication date: 1 September 1994

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

Recommendations

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

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)

Cites Work

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

Cited In (23)

• Title not available (Why is that?)
• Tableau method for residuated logic
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Title not available (Why is that?)
• The logic of information structures
• Title not available (Why is that?)
• On split negation, strong negation, information, falsification, and verification
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Normal modal substructural logics with strong negation
• 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
• Routley star in information-based semantics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Connexive conditional logic. I
• 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
• Title not available (Why is that?)
• Phase semantics and Petri net interpretation for resource-sensitive strong negation
• SUBSTRUCTURAL INQUISITIVE LOGICS

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)