Martín Figallo

Available identifiers

zbMath Open figallo.martinMaRDI QIDQ456966

List of research outcomes

Publication	Date of Publication	Type
Cut-free sequent-style systems for a logic associated to involutive Stone algebras	2024-02-08	Paper
Tense distributive lattices: algebra, logic and topology	2023-09-09	Paper
Normal proofs and tableaux for the Font-Rius tetravalent modal logic	2023-04-28	Paper
On the logic that preserves degrees of truth associated to involutive Stone algebras	2023-04-23	Paper
Proof-theoretic aspects of paraconsistency with strong consistency operator	2023-04-22	Paper
On a four-valued logic of formal inconsistency and formal underterminedness	2022-12-03	Paper
Super-\L ukasiewicz logics expanded by $\Delta$	2022-11-04	Paper
Cut-free sequent calculus and natural deduction for the tetravalent modal logic	2021-12-27	Paper
SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE	2021-07-22	Paper
Cut--free sequent calculus and natural deduction for the tetravalent modal logic	2021-01-24	Paper
On the logic that preserves degrees of truth associated to involutive Stone algebras	2021-01-08	Paper
Symmetric operators on modal pseudocomplemented De Morgan algebras	2019-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4583731	2018-09-03	Paper
Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore	2018-07-15	Paper
A Formal Framework for Hypersequent Calculi and Their Fibring	2015-06-24	Paper
Hilbert-style presentations of two logics associated to tetravalent modal algebras	2014-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q5169613	2014-07-11	Paper
Free algebras in varieties of Hilbert algebras with supremum generated by finite chains	2013-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4918422	2013-04-24	Paper
Some results on diagonal-free two-dimensional cylindric algebras	2012-05-30	Paper
ŁUKASIEWICZ RESIDUATION ALGEBRAS WITH INFIMUM	2008-03-06	Paper
Finite Diagonal-free Two-dimensional Cylindric Algebras	2005-03-11	Paper
FREE (n + 1) - VALUED ŁUKASIEWICZ BCK-ALGEBRAS	2005-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q4781808	2001-01-01	Paper

Research outcomes over time

This page was built for person: Martín Figallo