Logical forms, substitutions and information types

DOI10.12775/LLP.2023.017MaRDI QIDQ6535318zbMATH OpenFDO

Authors Vít Punčochář

Publication date 12 December 2023

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2023.017

zbMATH Keywords

information typeslogical formnon-classical logicsuniform substitution

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Subtyping in logical form
• SUBSTITUTION IN RELEVANT LOGICS
• scientific article; zbMATH DE number 1827077
• Logical forms: validity and variety of formalizations
• Informational interpretation of substructural propositional logics
• scientific article; zbMATH DE number 1114036
• Logic program forms
• Formal notes on the substitutional analysis of logical consequence
• Logical Form and Truth-Conditions
• Theories of propositional logics and the converse of substitution

Cites work

• A counterexample to modus tollens
• A generalization of inquisitive semantics
• Abstract algebraic logic. An introductory textbook
• Bridges between Classical and Nonmonotonic Logic
• Dynamic epistemic logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3685452 (Why is no real title available?)
• scientific article; zbMATH DE number 6302912 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• Inquisitive logic
• Inquisitive semantics
• Iterated team semantics for a hierarchy of informational types
• Modalities and Quantification
• Most general first order theorems are not recursively enumerable
• Tractatus logico-philosophicus. With an introduction by B. Russell.

Cited in

(4)

• Subtyping in logical form
• Logical forms: validity and variety of formalizations
• Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
• Topics, non-uniform substitutions, and variable sharing

This page was built for publication: Logical forms, substitutions and information types

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