SUBSTRUCTURAL INQUISITIVE LOGICS

DOI10.1017/S1755020319000017OpenAlexW2913428631WikidataQ128479781 ScholiaQ128479781MaRDI QIDQ5381041

Vít Punčochář

Publication date: 7 June 2019

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000017

zbMATH Keywords

fuzzy logicsubstructural logicintuitionistic logicclassical logicinquisitive semanticslogic of questions

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

A relevant logic of questions, AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS, Questions and dependency in intuitionistic logic, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Structural completeness and superintuitionistic inquisitive logics, A substructural approach to explicit modal logic, Relevant epistemic logic with public announcements and common knowledge, Inquisitive Heyting algebras, Completeness for the classical antecedent fragment of inquisitive first-order logic, Revisiting Semilattice Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A generalization of inquisitive semantics
• Truth-maker semantics for intuitionistic logic
• Algebraic Kripke-style semantics for relevance logics
• Inquisitive logic
• Handbook of philosophical logic. Vol. 8
• In defense of imperative inference
• Residuated lattices. An algebraic glimpse at substructural logics
• Sequent-systems and groupoid models. I
• Models for entailment
• Sequent-systems and groupoid models. II
• Metamathematics of fuzzy logic
• Informational interpretation of substructural propositional logics
• Substructural logics: a primer
• Propositional inquisitive logic: a survey
• Questions as information types
• A representation theorem for Boolean contact algebras
• Epistemic logics for sceptical agents
• Algebras of Information States
• The Mathematics of Sentence Structure
• Logics without the contraction rule
• Substructural epistemic logics
• Dependency as Question Entailment
• Semantics for relevant logics