LOGIC JOURNAL OF THE IGPL

View Statistics Email Alert RSS Feed

Journal description

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-15 of 15 (Search time: 0.015 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
3Chajda-2025-LOGIC JOURNAL OF THE IGPL-vor.pdf.jpgChajda, Ivan ; Länger, Helmut Algebraic structures formalizing the logic with unsharp implication and negationArticle Artikel 1-Feb-2025
4Tesi, Matteo Constructive theories through a modal lensArticle Artikel Feb-2025
5Cabrer, Leonardo Manuel ; Priestley, H.A. A general framework for product representations: bilattices and beyondArtikel Article Oct-2015
6Kuznets, Roman ; Lellmann, Björn Grafting Hypersequents onto Nested SequentsArtikel Article 2016
7Metcalfe, George ; Olivetti, Nicola ; Gabbay, Dov Lukasiewicz logic: From proof system to logic programmingArtikel Article 2005
8Ramanayake, Revantha Non-commutative classical arithmetical sequent calculi are intuitionisticArtikel Article 2016
9de Jongh, Dick ; Iemhoff, Rosalie ; Zhou, C Properties of intuitionistic provability and preservativity logicsArtikel Article 2005
10Pascucci, Matteo Propositional quantifiers in labelled natural deduction for normal modal logicArtikel Article 2019
11Fermüller, Christian ; Roschger, Christoph Randomized game semantics for semi-fuzzy quantifiersArtikel Article 2014
12Běhounek, Libor ; Cintula, Petr ; Fermüller, Chris ; Kroupa, Tomáš Representing strategic games and their equilibria in many-valued logicsArtikel Article 2016
13Baaz, Matthias ; Iemhoff, Rosalie Skolemization in intermediate logics with the finite model propertyArtikel Article 2016
14Chajda, Ivan ; Länger, Helmut The logic of orthomodular posets of finite heightArtikel Article 2022
15Kuznets, Roman ; Studer, Thomas Weak Arithmetical Interpretations for the Logic of ProofsArtikel Article 2016