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:
Date Issued:  [2000 TO 2024]

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

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