Výsledky vyhledávání - "LOGIC"
-
1
Inquisitive logic : consequence and inference in the realm of questions
ISBN: 303109705X, 9783031097058, 9783031097065, 3031097068Vydáno: Cham Springer 2022“…This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The…”
Získat plný text
E-kniha Kniha -
2
Souslin quasi-orders and bi-embeddability of uncountable structures
ISBN: 9781470452735, 1470452731ISSN: 0065-9266, 1947-6221Vydáno: Providence, Rhode Island American Mathematical Society 2022“…We provide analogues of the results from Friedman and Motto Ros (2011) and Camerlo, Marcone, and Motto Ros (2013) (which correspond to the case…”
Získat plný text
E-kniha Kniha -
3
Commonsense reasoning
ISBN: 0123693888, 9780123693884Vydáno: San Francisco, Calif Elsevier 2006“…The only up-to-date book on logic-based commonsense reasoning…”
Získat plný text
E-kniha Kniha -
4
Peter Schroeder-Heister on Proof-Theoretic Semantics
ISBN: 9783031509803, 3031509803, 3031509811, 9783031509810Vydáno: Cham Springer Nature 2024“…This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the…”
Získat plný text
E-kniha -
5
Fuzzy logic and mathematics : a historical perspective
ISBN: 0190200014, 9780190200015Vydáno: New York Oxford University Press 2017“…The term “fuzzy logic” (FL) is a generic one, which stands for a broad variety of logical systems. Their common ground is the rejection of the most fundamental…”
Získat plný text
E-kniha Kniha -
6
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
ISBN: 9783031634987, 3031634985, 3031634977, 9783031634970Vydáno: Cham Springer Nature 2024“…This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in…”
Získat plný text
E-kniha -
7
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
ISBN: 9783031635007, 3031635000, 3031635019, 9783031635014Vydáno: Cham Springer Nature 2024“…Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on…”
Získat plný text
E-kniha -
8
The logical writings of Karl Popper
ISBN: 3030949281, 9783030949280, 3030949265, 9783030949266, 3030949257, 9783030949259Vydáno: Cham Springer 2022“…This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential…”
Získat plný text
E-kniha Kniha -
9
Infinito y tránsito en la Ciencia de la lógica de Hegel
ISSN: 0034-8244, 1988-284X, 1988-284XVydáno: Madrid Universidad Complutense de Madrid 01.12.2025Vydáno v Revista de filosofía (Madrid) (01.12.2025)“…La conveniencia de distinguir tres lógicas distintas operando en la Lógica de Hegel, una lógica por cada una de sus doctrinas, es una precaución ampliamente…”
Získat plný text
Journal Article -
10
Zrození Kvaszova absolutního idealismu z ducha geometrie
ISSN: 0862-6901, 2533-7637Vydáno: Univerzita Karlova v Praze, Nakladatelství Karolinum 2020Vydáno v Reflexe (Prague, Czech Republic) (2020)“…Reflection on Kvasz's thinking about geometry…”
Získat plný text
Journal Article -
11
Zrození perspektivy z ducha divadla. Ke knize Ladislava Kvasze Prostor mezi geometrií a malířstvím
ISSN: 0862-6901, 2533-7637Vydáno: Univerzita Karlova v Praze, Nakladatelství Karolinum 2020Vydáno v Reflexe (Prague, Czech Republic) (2020)“…Reflection on Kvasz's book…”
Získat plný text
Journal Article -
12
Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics
ISBN: 3031469216, 9783031469213, 3031469208, 9783031469206Vydáno: Cham Springer Nature 2024“…This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as…”
Získat plný text
E-kniha -
13
(L\)-Modules
ISSN: 0138-0680, 2449-836XVydáno: Wydawnictwo Uniwersytetu Łódzkiego 2024Vydáno v Bulletin of the Section of Logic (2024)“…In this paper, considering \(L\)-algebras, which include a significant number of other algebraic structures, we present a definition of modules on…”
Získat plný text
Journal Article -
14
Schaum's Discrete Problem 4.26: Logical Statements
Vydáno: New York, N.Y McGraw-Hill Education LLC 2022“…This video demonstrates negating logical statements…”
Získat plný text
E-kniha -
15
A Logic Synthesis Methodology for Low-Power Ternary Logic Circuits
ISSN: 1549-8328, 1558-0806Vydáno: New York IEEE 01.09.2020Vydáno v IEEE transactions on circuits and systems. I, Regular papers (01.09.2020)“…We propose a logic synthesis methodology with a novel low-power circuit structure for ternary logic. The proposed methodology synthesizes a ternary function as…”
Získat plný text
Journal Article -
16
The Oxford Handbook of Philosophy of Mathematics and Logic
ISBN: 0195148770, 9780195148770Vydáno: New York Oxford University Press 03.03.2005“…This book provides comprehensive and accessible coverage of the disciplines of philosophy of mathematics and philosophy of logic. After an introduction, the…”
Získat plný text
E-kniha -
17
ЛОГІКА У ФІЛОСОФСЬКИХ МІРКУВАННЯХ. ФІЛОСОФСЬКА ЛОГІКА
ISSN: 2075-7190, 2663-5704Vydáno: Національний юридичний університет імені Ярослава Мудрого 2024Vydáno v Вісник НЮУ імені Ярослава Мудрого: Серія: Філософія, філософія права, політологія, соціологія (2024)“…The article is devoted to the study of the problem of the relationship between logic and philosophy in the historical-philosophical context and at the current…”
Získat plný text
Journal Article -
18
Logics of organization theory: audiences, codes, and ecologies.
ISBN: 0691131066, 9780691134505, 9780691131061, 0691134502, 9781400843015, 1400843014Vydáno: Princeton, N.J Princeton University Press 2012“…Building theories of organizations is challenging: theories are partial and "folk" categories are fuzzy. The commonly used tools--first-order logic and its…”
Získat plný text
E-kniha Kniha -
19
Deductive Systems in Traditional and Modern Logic
ISBN: 9783039433599, 3039433598, 303943358X, 9783039433582Vydáno: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2020“…The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics,…”
Získat plný text
E-kniha -
20
Explaining Explanation
ISBN: 0415087651, 9780415087650, 9780415032698, 0415032695Vydáno: London ; New York Routledge 1992“…This book introduces readers to the topic of explanation. The insights of Plato, Aristotle, J.S. Mill and Carl Hempel are examined, and are used to argue…”
Získat plný text
E-kniha Kniha

