AFTER

Call For Papers

The ICMLPT emphasizes interdisciplinary collaboration by bringing together experts from diverse fields. It encourages research that integrates multiple perspectives to address complex global challenges.

Key areas such as Mathematical Logic And Proof Theory are explored to promote cross-domain knowledge exchange and collaborative innovation.

Authors are invited to submit papers addressing, but not limited to, the following areas:

Foundations of mathematical logic
Proof theory and computational complexity
Applications of proof theory in mathematics
Constructive logic and its implications
Ordinal analysis in proof theory
Proof-theoretic semantics and applications
Non-classical logics in proof theory
Proofs and programs: a correspondence
Proof theory in automated reasoning
Categorical proof theory and its uses
Consistency proofs in mathematical logic
Proofs of completeness and soundness
Applications of proof theory in AI
Proof-theoretic approaches to set theory
Modal logic and proof theory
Proof theory of arithmetic and analysis
Proofs in higher-order logics
Philosophical implications of proof theory
Proof theory and its historical development
Connections between proof theory and model theory

Assessment

All submissions will undergo peer review to ensure quality and interdisciplinary relevance. Accepted papers will be presented and considered for publication in journals and conference proceedings.