João Rasga

J. Philos. Log., June, 2023

2022

Adding abductive reasoning to a propositional logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

2021

Event-Based Time-Stamped Claim Logic.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2021

Time-stamped claim logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2021

Revisiting separation: Algorithms and complexity.

[BibT_eX]

[DOI]

Daniel Oliveira

Log. J. IGPL, 2021

Reduction Techniques for Proving Decidability in Logics and their Meet-Combination.

[BibT_eX]

[DOI]

Walter Carnielli

Bull. Symb. Log., 2021

2020

Essential Structure of Proofs as a Measure of Complexity.

[BibT_eX]

[DOI]

Jaime Ramos

Alfredo Barbosa Henriques

Logica Universalis, 2020

2019

Probabilistic logic of quantum observations.

[BibT_eX]

[DOI]

Log. J. IGPL, 2019

2018

Many-Sorted Equivalence of Shiny and Strongly Polite Theories.

[BibT_eX]

[DOI]

Filipe Casal

J. Autom. Reason., 2018

Kolmogorov One-Way Functions Revisited.

[BibT_eX]

[DOI]

Filipe Casal

André Souto

Cryptogr., 2018

2017

Decision and optimization problems in the unreliable-circuit logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2017

2016

Preservation of Admissible Rules when Combining Logics.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2016

2014

Fibring as Biporting Subsumes Asymmetric Combinations.

[BibT_eX]

[DOI]

Stud Logica, 2014

Craig Interpolation in the Presence of Unreliable Connectives.

[BibT_eX]

[DOI]

Logica Universalis, 2014

Approximate reasoning about logic circuits with single-fan-out unreliable gates.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

2013

Importing Logics: Soundness and Completeness Preservation.

[BibT_eX]

[DOI]

Stud Logica, 2013

Completeness and interpolation of almost-everywhere quantification over finitely additive measures.

[BibT_eX]

[DOI]

Wafik Boulos Lotfallah

Math. Log. Q., 2013

Preservation of Craig interpolation by the product of matrix logics.

[BibT_eX]

[DOI]

J. Appl. Log., 2013

Revisiting the Equivalence of Shininess and Politeness.

[BibT_eX]

[DOI]

Filipe Casal

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Importing Logics.

[BibT_eX]

[DOI]

Stud Logica, 2012

On meet-combination of logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

2011

On Combined Connectives.

[BibT_eX]

[DOI]

Logica Universalis, 2011

2010

Fusion of sequent modal logic systems labelled with truth values.

[BibT_eX]

[DOI]

Karina Girardi Roggia

Log. J. IGPL, 2010

2009

Interpolation via translations.

[BibT_eX]

[DOI]

Walter Alexandre Carnielli

Walter Alexandre Carnielli

Math. Log. Q., 2009

On Graph-theoretic Fibring of Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

A Graph-theoretic Account of Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

2008

Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification.

[BibT_eX]

[DOI]

J. Log. Comput., 2008

Preservation of Interpolation Features by Fibring.

[BibT_eX]

[DOI]

J. Log. Comput., 2008

2007

Sufficient conditions for cut elimination with complexity analysis.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2007

Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations.

[BibT_eX]

[DOI]

Paulo Mateus

Filipe Moura

Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

2005

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.

[BibT_eX]

[DOI]

Paulo Mateus

Log. J. IGPL, 2005

2003

Truth-values as Labels: A General Recipe for Labelled Deduction.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

2002

Fibring Labelled Deduction Systems.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Modulated Fibring and The Collapsing Problem.

[BibT_eX]

[DOI]