Journal of Logic and Computation

Title Titel
Journal of Logic and Computation
 
e-ISSN
1465-363X
 
ISSN
0955-792X
 
Publisher Herausgeber
OXFORD UNIV PRESS
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale A multi-focused proof system isomorphic to expansion proofArtikel Article 2016
2Iemhoff, Rosalie A note on linear Kripke modelsArtikel Article2005
3Chajda, Ivan ; Emir, Kadir ; Fazio, Davide ; Länger, Helmut ; Ledda, Antonio ; Paseka, Jan An algebraic analysis of implication in non-distributive logicsArticle Artikel 24-Jun-2022
4Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela An abstract form of the first epsilon theoremArtikel Article 2021
5Vetterlein, Thomas Analytic calculi for logics of ordinal multiples of standard t-normsArtikel Article2008
6Eberhard, Sebastian ; Hetzl, Stefan ; Weller, Daniel Boolean Unification with PredicatesArtikel Article 2017
7Leitsch, Alexander ; Peltier, Nicolas ; Weller, Daniel CERES for first-order schemataArtikel Article Oct-2017
8Bauer, A. ; Leucker, M. ; Schallhart, C. Comparing LTL Semantics for Runtime VerificationArtikel Article2010
9Dvořák, Wolfgang ; Spanring, Christof Comparing the expressiveness of argumentation semanticsArtikel Article 2017
10Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Woltran, Stefan Computing Secure Sets in Graphs using Answer Set ProgrammingArtikel Article Jun-2020
11Sauras Altuzarra, Lorenzo Correction to: Some applications of Baaz's generalization method to the study of the factors of Fermat numbersArticle Artikel11-Feb-2023
12Avron, A. ; Konikowska, B. ; Zamansky, A. Cut-free sequent calculi for C-systems with generalized finite-valued semanticsArtikel Article2013
13Hetzl, Stefan ; Zivota, Sebastian Decidability of affine solution problemsArtikel Article 2020
14Ramanayake, R. Embedding the hypersequent calculus in the display calculusArtikel Article2015
15Baaz, M. ; Iemhoff, R. Eskolemization in intuitionistic logicArtikel Article2011
16Aguilera, Juan P ; Lubarsky, Robert S Feedback HyperjumpArtikel Article 2021
17Baaz, M. ; Metcalfe, G. Fuzzy logic cornerArtikel Article2009
18Baaz, M. ; Metcalfe, G. Herbrand's theorem, skolemization and proof systems for first-order Lukasiewicz logicArtikel Article2010
19Beckmann, Arnold ; Preining, Norbert Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoningArtikel Article 2018
20Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.Artikel Article 2021