Annals of Pure and Applied Logic
Editorial Board
Publication date: December 2022Source: Annals of Pure and Applied Logic, Volume 173, Issue 10Author(s):
Annals of Pure and Applied Logic
On the proof complexity of logics of bounded branching
Publication date: January 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 1Author(s): Emil Jeřábek
Annals of Pure and Applied Logic
Induction and Skolemization in saturation theorem proving
Publication date: January 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 1Author(s): Stefan Hetzl, Jannik Vierling
Annals of Pure and Applied Logic
AF-algebras with lattice-ordered <em>K</em><sub>0</sub>: logic and computation
Publication date: Available online 17 August 2022Source: Annals of Pure and Applied LogicAuthor(s): Daniele Mundici
Annals of Pure and Applied Logic
Bounded-depth Frege complexity of Tseitin formulas for all graphs
Publication date: January 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 1Author(s): Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova
Annals of Pure and Applied Logic
Editorial Board
Publication date: October–November 2022Source: Annals of Pure and Applied Logic, Volume 173, Issue 9Author(s):
Annals of Pure and Applied Logic
Quantifier elimination on some pseudo-algebraically closed valued fields
Publication date: Available online 19 July 2022Source: Annals of Pure and Applied LogicAuthor(s): Jizhan Hong
Annals of Pure and Applied Logic
Huge Reflection
Publication date: Available online 22 July 2022Source: Annals of Pure and Applied LogicAuthor(s): Joan Bagaria, Philipp Lücke
Annals of Pure and Applied Logic
Cohen-like first order structures
Publication date: Available online 22 July 2022Source: Annals of Pure and Applied LogicAuthor(s): Ziemowit Kostana
Annals of Pure and Applied Logic
Enumerating Teams in First-Order Team Logics
Publication date: Available online 14 July 2022Source: Annals of Pure and Applied LogicAuthor(s): Anselm Haak, Arne Meier, Fabian Müller, Heribert Vollmer