Search results
- 1.0574131 - ÚI 2025 GB eng J - Journal Article
Badia, G. - Běhounek, L. - Cintula, Petr - Tedder, A.
Relevant Consequence Relations: An Invitation.
Review of Symbolic Logic. Online 30 June 2023 (2024). ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR(CZ) GA22-01137S; GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807
Keywords : relevant entailment * substructural logics * multiset consequence relations * multiple conclusions
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
Permanent Link: https://hdl.handle.net/11104/0344479File Download Size Commentary Version Access 0574131-pre.pdf 0 393.3 KB Author´s preprint open-access - 2.0573344 - MÚ 2024 RIV NL eng J - Journal Article
Bice, Tristan - Kubiś, Wieslaw
Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces.
Theoretical Computer Science. Roč. 960, June (2023), č. článku 113895. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA ČR(CZ) GF22-07833K; GA ČR(CZ) GX20-31529X
Institutional support: RVO:67985840
Keywords : entailment relations * stably locally compact spaces * stone duality
OECD category: Pure mathematics
Impact factor: 1.1, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.tcs.2023.113895
Permanent Link: https://hdl.handle.net/11104/0343807 - 3.0543241 - ÚI 2022 RIV NL eng J - Journal Article
Klein, D. - Majer, Ondrej - Rad, S. R.
Probabilities with Gaps and Gluts.
Journal of Philosophical Logic. Roč. 50, č. 5 (2021), s. 1107-1141. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807
Keywords : Belnap-Dunn logic * First Degree Entailment * Non-standard probability theory * Probability theory * Bayes’ updating * Jeffrey updating * Probability aggregation
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
http://dx.doi.org/10.1007/s10992-021-09592-x
Permanent Link: http://hdl.handle.net/11104/0320492File Download Size Commentary Version Access 0543241-aoaf.pdf 1 918.2 KB OA CC BY 4.0 Publisher’s postprint open-access 0543241-onloa.pdf 0 914.5 KB OA CC BY 4.0 Publisher’s postprint open-access - 4.0511426 - ÚI 2020 RIV DE eng C - Conference Paper (international conference)
Sedlár, Igor - Punčochář, Vít - Tedder, Andrew
First Degree Entailment with Group Attitudes and Information Updates.
Logic, Rationality, and Interaction. Berlin: Springer, 2019 - (Blackburn, P.; Lorini, E.; Guo, M.), s. 273-285. Lecture Notes in Computer Science, 11813. ISBN 978-3-662-60291-1. ISSN 0302-9743.
[LORI 2019. International Workshop on Logic, Rationality, and Interaction /7./. Chongqing (CN), 18.10.2019-21.10.2019]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Common knowledge * Epistemic logic * First Degree Entailment * Information update * Lambek Calculus
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0301697 - 5.0508255 - ÚI 2020 CH eng A - Abstract
Punčochář, Vít - Sedlár, Igor
From the positive fragment of PDL to its non-classical extensions.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 100-104.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Lambek calculus * dynamic logic * First Degree Entailment * paraconsistent logic * Propositional Dynamic Logic * substructural logics
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Permanent Link: http://hdl.handle.net/11104/0299216File Download Size Commentary Version Access 0508255-aw.pdf 2 525.5 KB volně online Publisher’s postprint open-access - 6.0505161 - ÚI 2020 RIV CH eng M - Monography Chapter
Sedlár, Igor - Majer, Ondrej
Modelling sources of inconsistent information in paraconsistent modal logic.
New Essays on Belnap-Dunn Logic. Cham: Springer, 2019 - (Omori, H.; Wansing, H.), s. 293-310. Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 418. ISBN 978-3-030-31135-3
R&D Projects: GA ČR GBP202/12/G061; GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : Compatibility * Ex falso quodlibet * First degree entailment * Inconsistent information * Modal logic * Paraconsistent logic * Paraconsistent modal logic * Sources of information
OECD category: Pure mathematics; Philosophy, History and Philosophy of science and technology (FLU-F)
Permanent Link: http://hdl.handle.net/11104/0296660 - 7.0478133 - ÚI 2018 GB eng J - Journal Article
Sedlár, Igor
Epistemic extensions of modal distributive substructural logics.
Journal of Logic and Computation. Roč. 26, č. 6 (2016), s. 1787-1813. ISSN 0955-792X. E-ISSN 1465-363X
Keywords : revision functions * belief revision * relevant logics * semantics * contraction * entailment * Belief revision * epistemic logics * knowledge representation * non-monotonic reasoning * substructural logics
Impact factor: 0.909, year: 2016
Permanent Link: http://hdl.handle.net/11104/0274491 - 8.0458680 - ÚSP 2017 RIV CZ cze M - Monography Chapter
Kober, Jan
Fideikomis (svěřenství).
[Entailment.]
Encyklopedie českých právních dějin. D-J. Vol. 2. Plzeň: Aleš Čeněk, 2016 - (Schelle, K.; Tauchen, J.), s. 492-504. ISBN 978-80-7380-587-6
Institutional support: RVO:68378122
Keywords : history of law * legal institutes * history of entailment
Subject RIV: AG - Legal Sciences
Permanent Link: http://hdl.handle.net/11104/0258927 - 9.0405251 - UIVT-O 330485 RIV NL eng J - Journal Article
Cintula, Petr
Two Notions of Compactness in Gödel Logics.
[Dva pojmy kompaktnosti v Gödelových logikách.]
Studia Logica. Roč. 81, č. 1 (2005), s. 99-123. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR GD401/03/H047
Institutional research plan: CEZ:AV0Z10300504
Keywords : logic * Gödel logic * compactness * entailment * satisfiability
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125434File Download Size Commentary Version Access 0405251.pdf 9 753 KB Author´s preprint open-access - 10.0399045 - FLÚ 2014 RIV SK cze J - Journal Article
Punčochář, Vít
Pravdivost vs. tvrditelnost.
[Truth vs. Assertibility.]
Organon F. Roč. 20, Suppl. 1 (2013), s. 122-143. ISSN 1335-0668
R&D Projects: GA ČR(CZ) GAP401/10/1279
Institutional support: RVO:67985955
Keywords : assertability * context * entailment * possible world
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0226459