Search results

  1. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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/0211239
    FileDownloadSizeCommentaryVersionAccess
    Cavagnetto1.pdf0321.4 KBPublisher’s postprintopen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.