Studia Logica

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Studia Logica
 
e-ISSN
1572-8730
 
ISSN
0039-3215
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Subject:  Logic

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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, M. ; Leitsch, A. Cut-Elimination: Syntax and SemanticsArtikel Article2014
2Fermüller, C. G. Dialoque Games for Many-Valued Logics - an OverwiewArtikel Article 2008
3Fermüller, Christian G. ; Roschger, Christoph From Games to Truth Functions: A Generalization of Giles's GameArtikel Article2014
4Pavlova, Alexandra ; Freiman, Robert ; Lang, Timo From Semantic Games to Provability: The Case of Gödel LogicArtikel Article 2021
5Fermüller, Christian G. ; Metcalfe, George Giles's Game and the Proof Theory of Lukasiewicz LogicArtikel Article 2009
6Ciabattoni, Agata ; Ramanayake, Revantha ; Wansing, Heinrich Hypersequent and Display Calculi - a Unified PerspectiveArtikel Article 2014
7Arieli, O. ; Avron, A. ; Zamansky, A. Ideal paraconsistent logicsArtikel Article 2011
8Terwijn, Sebastiaan A. Kripke models, distributive lattices, and Medvedev degreesArtikel Article 2007
9Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna Maximal and Premaximal Paraconsistency in the Framework of Three-Valued SemanticsArtikel Article 2011
10Cabrer, Leo ; Priestley, H.A. Natural dualities through product representations: bilattices and beyondArtikel Article 2016
11Behrisch, Mike ; Truss, John K. ; Vargas-García, Edith Reconstructing the topology on monoids and polymorphism clones of the rationalsArtikel Article 2016
12Alama, Jesse The simplest axiom system for plane hyperbolic geometry revisited, againArtikel Article2014