Second Workshop on Logic, Language, Information and Computation (WoLLIC'95)

JOURNAL ARTICLE published 1996 in Logic Journal of IGPL

Authors: RUY J.G.B. de QUEIROZ

Completeness of implicational relevant logics

JOURNAL ARTICLE published 1 November 2000 in Logic Journal of IGPL

Authors: R Kashima

Yet another paradefinite logic: The role of conflation1

JOURNAL ARTICLE published 22 August 2018 in Logic Journal of the IGPL

Research funded by Japan Society for the Promotion of Science (JP18K11171,JP16KK0007) | Israel Science Foundation (817-15)

Authors: Norihiro Kamide | Yoni Zohar

Soundness and completeness of the Cirquent calculus system CL6 for computability logic

JOURNAL ARTICLE published 1 February 2012 in Logic Journal of IGPL

Authors: W. Xu | S. Liu

A general framework for pattern-driven modal tableaux

JOURNAL ARTICLE published 1 January 2002 in Logic Journal of IGPL

Authors: L. del Cerro

Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs

JOURNAL ARTICLE published 21 May 2022 in Logic Journal of the IGPL

Authors: Sara D Cardell | Diego F Aranha | Amparo Fúster-Sabater

The anti-Specker property, uniform sequential continuity, and a countable compactness property

JOURNAL ARTICLE published 1 February 2011 in Logic Journal of IGPL

Authors: D. S. Bridges

Type Theory with Opposite Types: A Paraconsistent Type Theory

JOURNAL ARTICLE published 15 September 2022 in Logic Journal of the IGPL

Authors: Juan C Agudelo-Agudelo | Andrés Sicard-Ramírez

Does collective rationality entail efficiency?

JOURNAL ARTICLE published 1 April 2010 in Logic Journal of IGPL

Authors: P. Weirich

Common cause abduction: The formation of theoretical concepts and models in science

JOURNAL ARTICLE published August 2016 in Logic Journal of IGPL

Authors: Gerhard Schurz

Boolean negation and non-conservativity III: the Ackermann constant

JOURNAL ARTICLE published 25 May 2021 in Logic Journal of the IGPL

Authors: Tore Fjetland Øgaard

Jon Barwise

JOURNAL ARTICLE published 1 July 2000 in Logic Journal of IGPL

A morphological cellular automata based on morphological independence

JOURNAL ARTICLE published 1 June 2012 in Logic Journal of IGPL

Authors: J. Gallego | C. Hernandez | M. Grana

Some non-classical approaches to the Brandenburger–Keisler paradox

JOURNAL ARTICLE published August 2015 in Logic Journal of IGPL

Authors: Can Başkent

On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief

JOURNAL ARTICLE published 14 November 2008 in Logic Journal of IGPL

Authors: C. D. Koutras | C. Nomikos | P. Peppas

A tableaux-like method to infer all minimal keys

JOURNAL ARTICLE published 1 December 2014 in Logic Journal of IGPL

Authors: P. Cordero | M. Enciso | A. Mora | I. Perez de Guzman

Logical and Philosophical Remarks on Quasi-Set Theory

JOURNAL ARTICLE published 26 September 2007 in Logic Journal of IGPL

Authors: N. C. A. Da Costa | D. Krause

Disjunctions and specificity in suppositional defeasible argumentation

JOURNAL ARTICLE published 1 January 2002 in Logic Journal of IGPL

Authors: G. Bodanza

Conferences

JOURNAL ARTICLE published 1 December 2014 in Logic Journal of IGPL

Authors: L. Libkin | U. W. Kohlenbach | R. J. G. B. de Queiroz

A reduction of the theory of confirmation to the notions of distance and measure

JOURNAL ARTICLE published 1 January 1997 in Logic Journal of IGPL

Authors: K Schlechta