Articles with public access mandates - Petr CintulaLearn more
Available somewhere: 23
Handbook of Mathematical Fuzzy Logic, 2 volumes, volume 37 and 38 of Studies in Logic. Mathematical Logic and Foundation
P Cintula, P Hájek, C Noguera
College Publications, 2011
Mandates: Austrian Science Fund
Admissible rules in the implication–negation fragment of intuitionistic logic
P Cintula, G Metcalfe
Annals of Pure and Applied Logic 162 (2), 162-171, 2010
Mandates: Swiss National Science Foundation
Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties
P Cintula, R Horčík, C Noguera
The Review of Symbolic Logic 6 (3), 394-423, 2013
Mandates: Austrian Science Fund, Government of Spain
The quest for the basic fuzzy logic
P Cintula, R Horčík, C Noguera
Petr Hájek on Mathematical Fuzzy Logic, 245-290, 2014
Mandates: Government of Spain
The proof by cases property and its variants in structural consequence relations
P Cintula, C Noguera
Studia Logica 101, 713-747, 2013
Mandates: Austrian Science Fund, Government of Spain
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
P Baldi, P Cintula, C Noguera
International Journal of Computational Intelligence Systems 13 (1), 988-1001, 2020
Mandates: Government of Italy
Implicational (semilinear) logics III: completeness properties
P Cintula, C Noguera
Archive for Mathematical Logic 57 (3-4), 391-420, 2018
Mandates: European Commission
Is multiset consequence trivial?
P Cintula, F Paoli
Synthese 199, 741-765, 2021
Mandates: European Commission
Graded dominance and related graded properties of fuzzy connectives
L Běhounek, U Bodenhofer, P Cintula, S Saminger-Platz, P Sarkoci
Fuzzy Sets and Systems 262, 78-101, 2015
Mandates: Vienna Science and Technology Fund, Austria
Herbrand theorems for substructural logics
P Cintula, G Metcalfe
International Conference on Logic for Programming Artificial Intelligence …, 2013
Mandates: Swiss National Science Foundation
From Kripke to neighborhood semantics for modal fuzzy logics
P Cintula, C Noguera, J Rogger
International Conference on Information Processing and Management of …, 2016
Mandates: Swiss National Science Foundation, Austrian Science Fund
Neighborhood semantics for modal many-valued logics
P Cintula, C Noguera
Fuzzy Sets and Systems 345, 99-112, 2018
Mandates: Austrian Science Fund, European Commission
An abstract approach to consequence relations
P Cintula, J Gil-Férez, T Moraschini, F Paoli
The Review of Symbolic Logic 12 (2), 331-371, 2019
Mandates: Swiss National Science Foundation, European Commission
Note on Deduction Theorems in contraction‐free logics
K Chvalovský, P Cintula
Mathematical Logic Quarterly 58 (3), 236-243, 2012
Mandates: Austrian Science Fund
A logical framework for graded predicates
P Cintula, C Noguera, NJJ Smith
Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017 …, 2017
Mandates: European Commission
Lindenbaum and pair extension lemma in infinitary logics
M Bílková, P Cintula, T Lávička
Logic, Language, Information, and Computation: 25th International Workshop …, 2018
Mandates: German Research Foundation
Skolemization for substructural logics
P Cintula, D Diaconescu, G Metcalfe
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
Mandates: Swiss National Science Foundation
Toward a general frame semantics for modal many-valued logics
P Cintula, P Menchón, C Noguera
Soft Computing 23 (7), 2233-2241, 2019
Mandates: Government of Argentina
Skolemization and Herbrand theorems for lattice-valued logics
P Cintula, D Diaconescu, G Metcalfe
Theoretical computer science 768, 54-75, 2019
Mandates: Swiss National Science Foundation, European Commission
Relevant Consequence Relations: An Invitation
G Badia, L Běhounek, P Cintula, A Tedder
The Review of Symbolic Logic, 1-31, 2022
Mandates: Australian Research Council
Publication and funding information is determined automatically by a computer program