Search results
- 1.0546967 - FLÚ 2022 DE eng C - Conference Paper (international conference)
Pezlar, Ivo
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract).
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer, 2021 - (Baroni, P.; Benzmüller, C.; Wáng, Y.), s. 513-520. Lecture Notes in Artificial Intelligence, 13040. ISBN 978-3-030-89390-3.
[CLAR 2021: International Conference on Logic and Argumentation /4./. online (CN), 20.10.2021-22.10.2021]
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : Placeholder view of assumptions * Assumption withdrawing * Curry–Howard correspondence * Natural deduction * Intuitionistic propositional logic
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-89391-0_31
Permanent Link: http://hdl.handle.net/11104/0323339 - 2.0546332 - FLÚ 2022 RIV NL eng J - Journal Article
Pezlar, Ivo
The placeholder view of assumptions and the Curry–Howard correspondence.
Synthese. Roč. 198, č. 11 (2021), s. 10109-10125. ISSN 0039-7857. E-ISSN 1573-0964
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : Placeholder view of assumptions * Assumption withdrawing * Curry-Howard correspondence * Natural deduction * Intuitionistic propositional logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.595, year: 2021
Method of publishing: Limited access
https://doi.org/10.1007/s11229-020-02706-z
Permanent Link: http://hdl.handle.net/11104/0322869 - 3.0505107 - ÚI 2021 RIV NL eng J - Journal Article
Bílková, Marta - Colacito, A.
Proof Theory for Positive Logic with Weak Negation.
Studia Logica. Roč. 108, č. 4 (2020), s. 649-686. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : Minimal propositional logic * Weak negation * Intuitionistic propositional logic * Sequent calculus * Terminating sequent calculus * Decidability * Complexity
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.585, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11225-019-09869-y
Permanent Link: http://hdl.handle.net/11104/0296624 - 4.0503661 - ÚI 2020 RIV DE eng J - Journal Article
Haniková, Zuzana
Implicit Definability of Truth Constants in Łukasiewicz Logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2279-2287. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : propositional logic * fuzzy logic * Łukasiewicz Logic * rational truth constants * implicit definability * computational complexity
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 3.050, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00500-018-3461-x
Permanent Link: http://hdl.handle.net/11104/0295472 - 5.0491283 - ÚI 2019 RIV GB eng J - Journal Article
Moraschini, Tommaso
A Study of Truth Predicates in Matrix Semantics.
Review of Symbolic Logic. Roč. 11, č. 4 (2018), s. 780-804. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : abstract algebraic logic * truth predicate * equational definability * truth-equational logic * protoalgebraic logic * Leibniz hierarchy * Leibniz operator * implicit definability * matrix semantics * algebraic semantics * propositional logic * protodisjunction * protoconjunction
OECD category: Pure mathematics
Impact factor: 0.731, year: 2018
Permanent Link: http://hdl.handle.net/11104/0285293 - 6.0481965 - FLÚ 2018 RIV NL eng J - Journal Article
Hanke, Miroslav
Jan Dullaert of Ghent on the Foundations of Propositional Logic.
Vivarium. Roč. 55, č. 4 (2017), s. 273-306. ISSN 0042-7543
R&D Projects: GA ČR GB14-37038G
Institutional support: RVO:67985955
Keywords : Jan Dullaert of Ghent * the circle of John Mair * scholastic logic * propositional logic * Bradwardine’s principle * infinite expressions
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0277389 - 7.0466762 - ÚI 2017 RIV DE eng J - Journal Article
Haniková, Zuzana
Complexity of Some Language Fragments of Fuzzy Logics.
Soft Computing. Roč. 21, č. 1 (2017), s. 69-77. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : fuzzy logic * propositional logic * language fragment * implicational fragment * commutative semigroup * equational theory * computational complexity
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 2.367, year: 2017
Permanent Link: http://hdl.handle.net/11104/0264997 - 8.0459809 - ÚI 2017 RIV NL eng J - Journal Article
Přenosil, Adam
Constructing Natural Extensions of Propositional Logics.
Studia Logica. Roč. 104, č. 6 (2016), s. 1179-1190. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807
Keywords : abstract algebraic logic * consequence relations * propositional logic * natural extensions * transfer theorems
Subject RIV: BA - General Mathematics
Impact factor: 0.589, year: 2016
Permanent Link: http://hdl.handle.net/11104/0259968 - 9.0404520 - UIVT-O 20020235 RIV CA eng M - Monography Chapter
Hájek, Petr
Fuzzy Logic.
Stanford Encyclopedia of Philosophy. Stanford, 2002 - (Zalta, E.). Fall 2002 Edition
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * propositional logic * predicate logic
Subject RIV: BA - General Mathematics
http://plato.stanford.edu
Permanent Link: http://hdl.handle.net/11104/0124769 - 10.0380563 - MÚ 2013 RIV PL eng J - Journal Article
Cavagnetto, Stefano
String rewriting and proof complexity: an interpretation of resolution.
Reports on mathematical logic. Roč. 44, Jun (2009), s. 167-200. ISSN 0137-2904. E-ISSN 0137-2904
R&D Projects: GA AV ČR IAA1019401
Institutional research plan: CEZ:AV0Z10190503
Keywords : propositional logic * propositional proof complexity
Subject RIV: BA - General Mathematics
http://www.iphils.uj.edu.pl/rml/rml-44/a-cav-44.htm
Permanent Link: http://hdl.handle.net/11104/0211239File Download Size Commentary Version Access Cavagnetto1.pdf 0 321.4 KB Publisher’s postprint open-access