Zobrazeno 1 - 10
of 64
pro vyhledávání: '"03Bxx"'
Autor:
Cattabriga, Paola
We present Russell's antinomy using three distinct deductive systems, which are then compared to deepen the logical deductions that lead to the contradiction. Some inferential paths are then presented, alternative to the commonly accepted one, that a
Externí odkaz:
http://arxiv.org/abs/2409.05903
Autor:
Howlader, Prosenjit, Liau, Churn-Jung
A formal context consists of objects, properties, and the incidence relation between them. Various notions of concepts defined with respect to formal contexts and their associated algebraic structures have been studied extensively, including formal c
Externí odkaz:
http://arxiv.org/abs/2407.13287
Autor:
Vaananen, Jouko, Velickovic, Boban
We define a new class of infinitary logics $\mathscr L^1_{\kappa,\alpha}$ generalizing Shelah's logic $\mathbb L^1_\kappa$ defined in \cite{MR2869022}. If $\kappa=\beth_\kappa$ and $\alpha <\kappa$ is infinite then our logic coincides with $\mathbb L
Externí odkaz:
http://arxiv.org/abs/2402.13344
Autor:
Muravitsky, Alexei
This is the text of my speech at the Logica Universalis webinar, which took place on May 11, 2022. I discuss two ways to implement a semantic approach to nonmonotonic consequence relations in an arbitrary propositional language. For one particular la
Externí odkaz:
http://arxiv.org/abs/2212.13355
Publikováno v:
KI 2020, LNAI 12325, Springer Nature Switzerland
Future intelligent autonomous systems (IAS) are inevitably deciding on moral and legal questions, e.g. in self-driving cars, health care or human-machine collaboration. As decision processes in most modern sub-symbolic IAS are hidden, the simple poli
Externí odkaz:
http://arxiv.org/abs/2008.06250
Autor:
Nicolai, Carlo, Stern, Johannes
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathcal{M}$, or an axiomatization $S$ thereof, we find a modal logic $M$ suc
Externí odkaz:
http://arxiv.org/abs/2004.07275
Leo-III is an automated theorem prover for extensional type theory with Henkin semantics and choice. Reasoning with primitive equality is enabled by adapting paramodulation-based proof search to higher-order logic. The prover may cooperate with multi
Externí odkaz:
http://arxiv.org/abs/1907.11501
The standard notion of formal theory, in Logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed to accept
Externí odkaz:
http://arxiv.org/abs/1903.02338
Autor:
Smarandache, Florentin
In this book we introduce the plithogenic set (as generalization of crisp, fuzzy, intuitionistic fuzzy, and neutrosophic sets), plithogenic logic (as generalization of classical, fuzzy, intuitionistic fuzzy, and neutrosophic logics), plithogenic prob
Externí odkaz:
http://arxiv.org/abs/1808.03948
Publikováno v:
9th International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings, Springer
The automated theorem prover Leo-III for classical higher-order logic with Henkin semantics and choice is presented. Leo-III is based on extensional higher-order paramodulation and accepts every common TPTP dialect (FOF, TFF, THF), including their re
Externí odkaz:
http://arxiv.org/abs/1802.02732