Carlos Caleiro

From MaRDI portal
Person:549721

Available identifiers

zbMath Open caleiro.carlosMaRDI QIDQ549721

List of research outcomes

PublicationDate of PublicationType
What is a logical theory? On theories containing assertions and denials2023-12-14Paper
Axiomatizing non-deterministic many-valued generalized consequence relations2023-12-14Paper
Some more theorems on structural entailment relations and non-deterministic semantics2023-10-04Paper
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS2023-01-17Paper
Computational properties of finite PNmatrices2023-01-04Paper
Computational properties of partial non-deterministic matrices and their logics2022-07-01Paper
Modular many-valued semantics for combined logics2022-02-04Paper
On Axioms and Rexpansions2022-01-04Paper
On the index of convergence of a class of Boolean matrices with structural properties2021-10-20Paper
On axioms and rexpansions2021-02-10Paper
Plug and Play Negations2020-08-06Paper
Analytic calculi for monadic PNmatrices2020-03-04Paper
https://portal.mardi4nfdi.de/entity/Q52122922020-01-28Paper
Combining fragments of classical logic: when are interaction principles needed?2019-08-12Paper
https://portal.mardi4nfdi.de/entity/Q52247852019-07-24Paper
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities2019-06-25Paper
Probabilistic logic over equations and domain restrictions2019-05-27Paper
Decidability and complexity of fibred logics without shared connectives2019-01-08Paper
Characterizing finite-valuedness2018-10-16Paper
https://portal.mardi4nfdi.de/entity/Q45836802018-09-03Paper
Generalized probabilistic satisfiability2018-04-23Paper
On the characterization of fibred logics, with applications to conservativity and finite-valuedness2018-02-13Paper
Merging fragments of classical logic2018-01-04Paper
Disjoint fibring of non-deterministic matrices2017-12-20Paper
Compositional meaning in logic2017-11-29Paper
Deciding Theoremhood in Fibred Logics Without Shared Connectives2017-08-28Paper
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics2015-10-12Paper
An Equation-Based Classical Logic2015-09-24Paper
https://portal.mardi4nfdi.de/entity/Q54161692014-05-19Paper
https://portal.mardi4nfdi.de/entity/Q28484752013-09-26Paper
https://portal.mardi4nfdi.de/entity/Q28480362013-09-25Paper
Abstract valuation semantics2013-09-23Paper
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators2013-04-08Paper
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics2012-09-21Paper
https://portal.mardi4nfdi.de/entity/Q53890672012-04-24Paper
Hierarchical logical consequence2012-03-07Paper
Towards a Behavioral Algebraic Theory of Logical Valuations2011-11-22Paper
Distributed temporal logic for the analysis of security protocol models2011-07-18Paper
https://portal.mardi4nfdi.de/entity/Q30072512011-06-21Paper
Recent Trends in Algebraic Development Techniques2010-04-20Paper
Labelled Tableaux for Distributed Temporal Logic2010-01-14Paper
Behavioral algebraization of da Costa's C-systems2009-11-30Paper
Algebraic Valuations as Behavioral Logical Matrices2009-07-02Paper
Classic-Like Analytic Tableaux for Finite-Valued Logics2009-07-02Paper
Behavioral algebraization of logics2009-03-17Paper
Combining Classical and Intuitionistic Implications2008-09-16Paper
https://portal.mardi4nfdi.de/entity/Q35208402008-08-26Paper
https://portal.mardi4nfdi.de/entity/Q35208452008-08-26Paper
On the Algebraization of Many-Sorted Logics2007-09-10Paper
Quantum Institutions2007-09-07Paper
From fibring to cryptofibring. A solution to the collapsing problem2007-04-10Paper
On the semantics of Alice \& Bob specifications of security protocols2007-01-09Paper
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis2006-03-30Paper
Recent Trends in Algebraic Development Techniques2005-11-11Paper
https://portal.mardi4nfdi.de/entity/Q53110582005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q53110622005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q44717132004-07-30Paper
Fibring non-truth-functional logics: Completeness preservation2003-04-27Paper
https://portal.mardi4nfdi.de/entity/Q27824942002-08-05Paper
Deriving liveness goals from temporal logic specifications2001-11-25Paper
Fibring of logics as a categorial construction2000-08-23Paper
Specifying communication in distributed information systems2000-05-09Paper
https://portal.mardi4nfdi.de/entity/Q49419252000-03-19Paper
Denotational semantics of object specification1998-09-10Paper
https://portal.mardi4nfdi.de/entity/Q44008031998-08-02Paper
https://portal.mardi4nfdi.de/entity/Q43735571998-05-10Paper
Synchronization of logics1997-11-13Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Carlos Caleiro