Annals of Pure and Applied Logic

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Annals of Pure and Applied Logic
 
e-ISSN
1873-2461
 
ISSN
0168-0072
 
Publisher Herausgeber
ELSEVIER
 
Publisher's Address Herausgeber Adresse
RADARWEG 29, AMSTERDAM, Netherlands, 1043 NX
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Results 1-20 of 29 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige Algebraic proof theory for substructural logics: Cut elimination and completionsArtikel Article2012
2Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige Algebraic proof theory: Hypersequents and hypercompletionsArtikel Article 2017
3Zamansky, Anna ; Avron, Arnon Canonical signed calculi with multi-ary quantifiersArtikel Article 2011
4Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel Ceres in higher-order logicArtikel Article2011
5Hetzl Stefan - 2011 - CERES in higher-order logic.pdf.jpgHetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel CERES in higher-order logicArticle Artikel 2011
6Cerna, David ; Leitsch, Alexander ; Reis, Giselle ; Wolfsteiner, Simon Peter Ceres in intuitionistic logicArtikel Article Oct-2017
7Fokina, Ekaterina ; Harizanov, Valentina ; Turetsky, Daniel Computability-theoretic categoricity and Scott familiesArtikel Article 2019
8Baaz, Matthias Controlling witnessesArtikel Article2005
9Aguilera, J.P. Determinate Logic and the Axiom of ChoiceArtikel Article 2020
10Brendle, Jörg ; Cardona, Miguel A. ; Mejía, Diego A. Filter-linkedness and its effect on preservation of cardinal characteristics.Artikel Article 2021
11Baaz, Matthias ; Preining, Norbert ; Zach, Richard First Order Gödel logicsArtikel Article2007
12Baaz, Matthias Foreword: Kurt Gödel Centenary Research Prize FellowshipsArtikel Article2009
13Baaz, Matthias ; Wojtylak, Piotr Generalizing proofs in monadic languagesArtikel Article2008
14Brendle, Jörg ; Halbeisen, Lorenz ; Klausner, Lukas Daniel ; Lischka, Marc ; Shelah, Saharon Halfway New Cardinal CharacteristicsArticle Artikel Oct-2023
15Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand's theorem as higher order recursionArtikel Article 2020
16Eberhard, Sebastian ; Hetzl, Stefan Inductive theorem proving based on tree grammarsArtikel Article2015
17Artemov, Sergei ; Kuznets, Roman Logical omniscience as infeasibilityArtikel Article2014
18Aguilera, Juan P. ; Müller, Sandra ; Schlicht, Philipp Long Games and σ-Projective SetsArtikel Article 2021
19Fitting, Melvin ; Kuznets, Roman Modal Interpolation via Nested SequentsArtikel Article 2015
20Kuznets, Roman Multicomponent Proof-theoretic Method for Proving Interpolation PropertyArtikel Article 2018