Title Titel
LOGIC JOURNAL OF THE IGPL
 
e-ISSN
1368-9894
 
ISSN
1367-0751
 
Publisher Herausgeber
OXFORD UNIV PRESS
 
Publisher's Address Herausgeber Adresse
GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 
 

Publications Publikationen

Results 1-13 of 13 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Berger, Gerald ; Beklemishev, Lev D ; Tompits, Hans A many-sorted variant of Japaridze's polymodal provability logicArtikel Article 2018
2Chajda, Ivan ; Fazio, Davide ; Länger, Helmut ; Ledda, Antonio ; Paseka, Jan Algebraic properties of paraorthomodular posetsArticle Artikel Oct-2022
3Cabrer, Leonardo Manuel ; Priestley, H.A. A general framework for product representations: bilattices and beyondArtikel Article Oct-2015
4Kuznets, Roman ; Lellmann, Björn Grafting Hypersequents onto Nested SequentsArtikel Article 2016
5Metcalfe, George ; Olivetti, Nicola ; Gabbay, Dov Lukasiewicz logic: From proof system to logic programmingArtikel Article2005
6Ramanayake, Revantha Non-commutative classical arithmetical sequent calculi are intuitionisticArtikel Article 2016
7de Jongh, Dick ; Iemhoff, Rosalie ; Zhou, C Properties of intuitionistic provability and preservativity logicsArtikel Article2005
8Pascucci, Matteo Propositional quantifiers in labelled natural deduction for normal modal logicArtikel Article 2019
9Fermüller, Christian ; Roschger, Christoph Randomized game semantics for semi-fuzzy quantifiersArtikel Article2014
10Běhounek, Libor ; Cintula, Petr ; Fermüller, Chris ; Kroupa, Tomáš Representing strategic games and their equilibria in many-valued logicsArtikel Article 2016
11Baaz, Matthias ; Iemhoff, Rosalie Skolemization in intermediate logics with the finite model propertyArtikel Article 2016
12Chajda, Ivan ; Länger, Helmut The logic of orthomodular posets of finite heightArtikel Article 2022
13Kuznets, Roman ; Studer, Thomas Weak Arithmetical Interpretations for the Logic of ProofsArtikel Article 2016