Logic (LGC)

Section Information

Logic focuses on the formal principles of reasoning, inference, and proof. The field studies symbolic systems, formal languages, and mathematical structures that model valid argumentation and computational reasoning across philosophy, mathematics, and computer science.

Current research includes propositional and predicate logic, modal logic, proof theory, model theory, set theory, and non-classical logics. Advances in automated reasoning, formal verification, and logical frameworks are expanding the role of logic in artificial intelligence, programming languages, and formal systems analysis.

This section publishes theoretical studies, formal proofs, model analyses, logical system developments, and review articles related to foundational and applied aspects of logic.

Scope

Classical Logic

• Propositional and predicate logic
• Soundness and completeness theorems
• Formal proof systems
• Logical consequence and validity

Non-Classical Logics

• Modal and temporal logics
• Intuitionistic and constructive logics
• Fuzzy and many-valued logics
• Paraconsistent and relevance logics

Model Theory and Proof Theory

• Structures and interpretations
• Consistency and independence results
• Ordinal analysis and proof complexity
• Logical frameworks

Set Theory and Foundations

• Axiomatic set theory
• Large cardinals and forcing techniques
• Foundations of mathematics
• Independence and consistency results

Computational and Applied Logic

• Automated theorem proving
• Logic programming and formal semantics
• Formal verification of software and hardware
• Logical aspects of artificial intelligence

Philosophical Logic

• Logic of language and meaning
• Paradoxes and logical analysis
• Epistemic and deontic logic
• Logic and metaphysics

Interdisciplinary Applications of Logic

• Logical modeling in linguistics
• Decision theory and rational choice
• Logical methods in mathematics
• Formal reasoning in cognitive science

Editorial Board

Click here to see the Section Editorial Board of “Logic (LGC)”.

Papers Published

Click here to see a list of 0 papers published in this section.