Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory

DOI10.1007/978-94-007-7548-0_10zbMath1342.03028OpenAlexW946525731MaRDI QIDQ5251193

Gianluigi Bellin

Publication date: 22 May 2015

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0_10

zbMATH Keywords

co-intuitionistic logicintensional logicbi-intuitionismbimodal Kripke semanticsrough-set semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

The Logical Burdens of Proof. Assertion and Hypothesis ⋮ Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I” ⋮ Abductive inference within a pragmatic framework

Cites Work

• A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
• Information gaps as communication needs: A new semantic foundation for some non-classical logics
• On the unity of logic
• Categorical proof theory of classical propositional calculus
• A constructivism based on classical truth
• Applications of Kripke models to Heyting-Brouwer logic
• Full intuitionistic linear logic
• On the \(\pi\)-calculus and linear logic
• Completeness results for intuitionistic and modal logic in a categorical setting
• Counterfactuals and updates as inverse modalities
• Rough sets. Mathematical foundations
• Bi-Heyting algebras, toposes and modalities
• Control categories and duality: on the categorical semantics of the lambda-mu calculus
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
• Towards a Logic for Pragmatics. Assertions and Conjectures
• A Formulae-as-Types Interpretation of Subtractive Logic
• A semantical study of constructible falsity
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Constructible falsity
• Some theorems about the sentential calculi of Lewis and Heyting
• Subtractive logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory