Sage Journals: Discover world-class research

Retricted access

Research article

First published 1983

Remarks on Sequents Defined by Means of Information Systems

Miroslav Novotný

Fundamenta Informaticae

Open access

Research article

First published 2015-1-2

Sequent-based logical argumentation

Ofer Arieli, Christian Straßer

Argument & Computation

Retricted access

Research article

First published 1981

On Sequents Defined by Means of Information Systems

Miroslav Novotný

Fundamenta Informaticae

Retricted access

Research article

First published 1999-3

Multi Lingual Sequent Calculus and Coherent Spaces

Achim Jung, Mathias Kegelmann, M. Andrew Moshier

Fundamenta Informaticae

Free access

Research article

First published 2006-2

Sequent Calculi for Temporal Logics of Common Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2007-2

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Nicola Olivetti, Gian Luca Pozzato

Intelligenza Artificiale

Retricted access

Research article

First published 2006-7

Foundations of Paraconsistent Resolution

Norihiro Kamide

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Completeness and Soundness Results for 𝒳 with Intersection and Union Types

Steffen van Bakel

Fundamenta Informaticae

Retricted access

Research article

First published 2002-6

Products and Polymorphic Subtypes

Viviana Bono, Jerzy Tiuryn

Fundamenta Informaticae

Search results