Informational interpretation of substructural propositional logics
The paper investigates a number of substructural propositional logics, in particular substructural subsystems of David Nelson's constructive propositional logics \(N^ -\) and \(N\). These systems are shown to be complete w.r.t. models based on semilattice-ordered monoids \(\langle I,\cdot,\cap,1\rangle\). It is argued that semilattice-ordered monoids admit the following `informational' interpretation: (i) \(I\) is a set of information pieces, (ii) \(\cdot\) is the addition of information pieces, (iii) \(\cap\) is the intersection of information pieces, (iv) 1 is the initial, ideally the empty piece of information.
- 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
- 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?)
- 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
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- The logic of information structures
- Tableau method for residuated logic
- Normal modal substructural logics with strong negation
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Linear and affine logics with temporal, spatial and epistemic operators
- Gentzen-type calculi for involutive quantales
- scientific article; zbMATH DE number 6699702 (Why is no real title available?)
- On split negation, strong negation, information, falsification, and verification
- Connexive conditional logic. I
- scientific article; zbMATH DE number 1303443 (Why is no real title available?)
- A Useful Substructural Logic
- scientific article; zbMATH DE number 1870417 (Why is no real title available?)
- Informational semantics as a third alternative?
- scientific article; zbMATH DE number 935035 (Why is no real title available?)
- Inter-model connectives and substructural logics
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Logical forms, substitutions and information types
- Routley star in information-based semantics
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Combining linear-time temporal logic with constructiveness and paraconsistency
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)
