Marcelo E. Coniglio

Log. J. IGPL, September, 2023

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Two Decision Procedures for da Costa's Cn Logics Based on Restricted Nmatrix Semantics.

[BibT_eX]

[DOI]

Guilherme Vicentin de Toledo

Stud Logica, 2022

Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account.

[BibT_eX]

[DOI]

Walter Carnielli

David Fuenmayor

Rev. Symb. Log., 2022

On the expressive power of Łukasiewicz square operator.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

Valuation Semantics for First-Order Logics of Evidence and Truth.

[BibT_eX]

[DOI]

J. Philos. Log., 2022

Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case.

[BibT_eX]

[DOI]

Log. J. IGPL, 2022

G'3 as the logic of modal 3-valued Heyting algebras.

[BibT_eX]

[DOI]

Marcelo Esteban Coniglio

Aldo Figallo Orellano

Miguel Pérez-Gaspar

FLAP, 2022

2021

Some Model-Theoretic Results on the 3-Valued Paraconsistent First-order Logic Qciore.

[BibT_eX]

[DOI]

G. T. Gomez-Pereira

Martín Figallo

Rev. Symb. Log., 2021

2020

First-order swap structures semantics for some logics of formal inconsistency.

[BibT_eX]

[DOI]

Aldo Figallo Orellano

Ana Claudia Golzio

J. Log. Comput., 2020

Non-deterministic algebraization of logics by swap structures1.

[BibT_eX]

[DOI]

Aldo Figallo Orellano

Ana Claudia Golzio

Log. J. IGPL, 2020

Modal logic with non-deterministic semantics: Part I - Propositional case.

[BibT_eX]

[DOI]

Marques Peron Newton

Log. J. IGPL, 2020

Recovery operators, paraconsistency and duality.

[BibT_eX]

[DOI]

Walter Carnielli

Abilio Rodrigues

Log. J. IGPL, 2020

2019

Swap structures semantics for Ivlev-like modal logics.

[BibT_eX]

[DOI]

Ana Claudia Golzio

Soft Comput., 2019

Maximality in finite-valued Łukasiewicz logics defined by order filters.

[BibT_eX]

[DOI]

J. Log. Comput., 2019

Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case.

[BibT_eX]

[DOI]

Verónica Borja Macías

Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

Paracomplete logics which are dual to the paraconsistent logics L3A and L3B.

[BibT_eX]

[DOI]

Verónica Borja Macías

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2018

Fuzzy Formal Concept Analysis.

[BibT_eX]

[DOI]

Abner Brito

Laécio C. Barros

Estevão Laureano Esmi

Fábio Bertato

Proceedings of the Fuzzy Information Processing, 2018

2017

AGM-like paraconsistent belief change.

[BibT_eX]

[DOI]

Rafael R. Testa

Márcio Moretto Ribeiro

Log. J. IGPL, 2017

2016

Paraconsistent set theory by predicating on consistency.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2016

On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics.

[BibT_eX]

[DOI]

Francesc Esteva

Lluís Godo

Log. J. IGPL, 2016

2015

Finite non-deterministic semantics for some modal systems.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2015

2014

Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.

[BibT_eX]

[DOI]

Martín Figallo

Stud Logica, 2014

On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency.

[BibT_eX]

[DOI]

Rodrigo Podiacki

Tarcísio Rodrigues

Rev. Symb. Log., 2014

Dugundji's Theorem Revisited.

[BibT_eX]

[DOI]

Luiz Henrique Da Cruz Silvestrini

Logica Universalis, 2014

An alternative approach for quasi-truth.

[BibT_eX]

[DOI]

Marcelo Esteban Coniglio

Log. J. IGPL, 2014

Logics of formal inconsistency arising from systems of fuzzy logic.

[BibT_eX]

[DOI]

Francesc Esteva

Lluís Godo

Log. J. IGPL, 2014

2013

On Discourses Addressed by Infidel Logicians.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistency: Logic and Applications, 2013

Modal Extensions of Sub-classical Logics for Recovering Classical Logic.

[BibT_eX]

[DOI]

Logica Universalis, 2013

2012

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics

[BibT_eX]

[DOI]

María I. Corbalán

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

Contracting Logics.

[BibT_eX]

[DOI]

Márcio Moretto Ribeiro

Proceedings of the Logic, Language, Information and Computation, 2012

2011

Preservation by fibring of the finite model property.

[BibT_eX]

[DOI]

Amílcar Sernadas

Cristina Sernadas

J. Log. Comput., 2011

To distribute or not to distribute?

[BibT_eX]

[DOI]

Jean-Yves Béziau

Log. J. IGPL, 2011

2009

New Dimensions on Translations Between Logics.

[BibT_eX]

[DOI]

Itala M. Loffredo D'Ottaviano

Logica Universalis, 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

2007

Recovering a Logic from Its Fragments by Meta-Fibring.

[BibT_eX]

[DOI]

Logica Universalis, 2007

Fibring in the Leibniz Hierarchy.

[BibT_eX]

[DOI]

Víctor L. Fernández

Log. J. IGPL, 2007

2006

Some Results on Ordered Structures in Toposes.

[BibT_eX]

[DOI]

Luís A. Sbardellini

Reports Math. Log., 2006

2005

An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.

[BibT_eX]

[DOI]

Itala M. Loffredo D'Ottaviano

Log. J. IGPL, 2005

Plain Fibring and Direct Union of Logics with Matrix Semantics.

[BibT_eX]

Víctor L. Fernández

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Combining Conjunction with Disjunction.

[BibT_eX]

Jean-Yves Béziau

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Splitting Logics.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

Editorial.

[BibT_eX]

[DOI]

Itala M. Loffredo D'Ottaviano

Log. J. IGPL, 2004

2003

Fibring Logics with Topos Semantics.

[BibT_eX]

[DOI]

Amílcar Sernadas

Cristina Sernadas

J. Log. Comput., 2003

Fibring Non-Truth-Functional Logics: Completeness Preservation.

[BibT_eX]

[DOI]

Carlos Caleiro

Amílcar Sernadas

Cristina Sernadas

J. Log. Lang. Inf., 2003

Combining Valuations with Society Semantics.

[BibT_eX]

[DOI]

Víctor L. Fernández

J. Appl. Non Class. Logics, 2003

2002

Transfers between Logics and their Applications.

[BibT_eX]

[DOI]

Stud Logica, 2002

2001

Modules in the category of sheaves over quantales.

[BibT_eX]

[DOI]

Francisco Miraglia

Ann. Pure Appl. Log., 2001

2000

Non-Commutative Topology and Quantales.

[BibT_eX]

[DOI]