Exploring Negation, Modality and Proof

There are (other) ways to negate in propositional team semantics.- A note on negation in the operational semantics for relevant logic.- Ignorance and the possibility of error in relevant epistemic logic.- Mereological Forcing.- Arbitrary objects in a bilateral setting.- Measurement-Theoretic Foundations of Logic of Epistemic Modals.- Perspective Shifts: Formalizing Epistemic Might in Multi-agent Models.- This Time As Grandfather.- Complete and Terminating Tableau Calculus for Undirected Graph.- Strict Truth, Tolerant Truth, and Generalized Strict-Tolerant Logics.- Variations of Axioms K and S in Substructural Logics.- Lesniewski's Ontology Satisfies Interpolation.- Proof construction style representation of cut-elimination.- Invitation to Constructive Nonreflexive and Nontransitive Logics.- A Proof-Theoretic Approach to the Binding Problem.- Conservative Imaging and AGM Postulates.- Uni?ed Inductive Logic: From Formal Learning to Statistical Inference to Supervised Learning.- Composition and Plural Identity.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Lógica matemática
• Filosofia: a lógica

Proof Theory;Mereology;Epistemic Logic;Formal Semantics;Paraconsistent Logic;Relevance and Substructural Logic;Lesniewski's Ontology ;Inductive Logic;Many-Valued Logic;Non-Monotonic Logic