Logic.
概要
| 作品: | 607 作品在 296 項出版品 296 種語言 | |
|---|---|---|
書目資訊
A geometry of approximation = rough set theory: logic, algebra and topology of Conceptual Patterns /
by:
(書目-語言資料,印刷品)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
(書目-語言資料,印刷品)
Quantifiers, questions, and quantum physics = essays on the philosophy of Jaakko Hintikka /
by:
(書目-語言資料,印刷品)
The golden age of Polish philosophy = Kazimierz Twardowski's philosophical legacy /
by:
(書目-語言資料,印刷品)
The Vienna Circle in the Nordic Countries = networks and transformations of logical empiricism /
by:
(書目-語言資料,印刷品)
Procedural semantics for hyperintensional logic = foundations and applications of transparent intensional logic /
by:
(書目-語言資料,印刷品)
More kinds of being = a further study of individuation, identity, and the logic of sortal terms /
by:
(書目-電子資源)
Where is the Godel-point hiding = Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
by:
(書目-電子資源)
Foundations of geometry and induction : = containing Geometry in the sensible world and The logical problem of induction /
by:
(書目-語言資料,印刷品)
Critical thinking for students : = learn the skills of critical assessment and effective argument /
by:
(書目-語言資料,印刷品)
Logical tools for modelling legal argument : = a study of defeasible reasoning in law /
by:
(書目-語言資料,印刷品)
Current issues and enduring questions : = a guide to critical thinking and argument, with readings /
by:
(書目-語言資料,印刷品)
Outline of a new system of logic : = with a critical examination of Dr. Whately's elements of logic /
by:
(書目-語言資料,印刷品)
The logical foundations of Bradley's metaphysics : = judgment, inference, and truth /
by:
(書目-語言資料,印刷品)
Current issues and enduring questions : = a guide to critical thinking and argument, with readings /
by:
(書目-語言資料,印刷品)
The logical foundations of Bradley's metaphysics = judgment, inference, and truth /
by:
(書目-語言資料,印刷品)
De la metaphysique a la rhetorique : = essais a la memoire de Chaim Perelman avec un inedit sur la logique /
by:
(書目-語言資料,印刷品)
The Unity of Science in the Arabic Tradition = Science, Logic, Epistemology and their Interactions /
by:
(書目-語言資料,印刷品)
Unity, truth and the liar = the modern relevance of medieval solutions to the liar paradox /
by:
(書目-語言資料,印刷品)
Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler /
by:
(書目-語言資料,印刷品)
A first course in logic : = an introduction to model theory, proof theory, computability, and complexity /
by:
(書目-語言資料,印刷品)
Fundamentals of argumentation theory : = a handbook of historical backgrounds and contemporary developments /
by:
(書目-語言資料,印刷品)
Ars topica = the classical technique of constructing arguments from Aristotle to Cicero /
by:
(書目-語言資料,印刷品)
Neuromimetic semantics = coordination, quantification, and collective predicates /
by:
(書目-語言資料,印刷品)
EPSA epistemology and methodology of science = launch of the European Philosophy of Science Association /
by:
(書目-語言資料,印刷品)
Nonsense : = red herrings, straw men, and sacred cows : how we abuse logic in our everyday language /
by:
(書目-語言資料,印刷品)
Logic, mathematics, philosophy, vintage enthusiasms = essays in honour of John L. Bell /
by:
(書目-電子資源)
Analysis and interpretation in the exact sciences = essays in honour of William Demopoulos /
by:
(書目-電子資源)
Epistemology versus ontology = essays on the philosophy and foundations of mathematics in honour of Per Martin-Lof /
by:
(書目-電子資源)
EPSA philosophical issues in the sciences = launch of the European Philosophy of Science Association /
by:
(書目-電子資源)
Adaptive logics for defeasible reasoning = applications in argumentation, normative reasoning and default reasoning /
by:
(書目-電子資源)
Functions and generality of logic = reflections on Dedekind's and Frege's logicisms /
by:
(書目-語言資料,印刷品)
Modality, semantics and interpretations = the second Asian Workshop on Philosophical Logic /
by:
(書目-電子資源)
Model-based reasoning in science and technology = logical, epistemological, and cognitive issues /
by:
(書目-電子資源)
Cultures of mathematics and logic = selected papers from the Conference in Guangzhou, China, November 9-12, 2012 /
by:
(書目-電子資源)
The abductive structure of scientific creativity = an essay on the ecology of cognition /
by:
(書目-電子資源)
Thinking about contradictions = the imaginary logic of Nikolai Aleksandrovich Vasil'ev /
by:
(書目-電子資源)
The language of thought in late medieval philosophy = essays in honour of Claude Panaccio /
by:
(書目-電子資源)
Intuitionistic proof versus classical truth = the role of Brouwer's creative subject in intuitionistic mathematics /
by:
(書目-電子資源)
Creating target publics for welfare policies = a comparative and multi-level approach /
by:
(書目-電子資源)
Nonclassical logics and their applications = post-proceedings of the 8th International Workshop on Logic and Cognition /
by:
(書目-電子資源)
Sequents and trees = an introduction to the theory and applications of propositional sequent calculi /
by:
(書目-電子資源)
Essay on Machines in General (1786) = text, translations and commentaries. Lazare Carnot's Mechanics.. Volume 1 /
by:
(Electronic resources)
LOGIC = lecture notes for philosophy, mathematics, and computer science /
by:
(Electronic resources)
Hajnal Andreka and Istvan Nemeti on unity of science = from computing to relativity theory through algebraic logic /
by:
(Electronic resources)
Beyond faith and rationality = essays on logic, religion and philosophy /
by:
(Electronic resources)
Awareness in logic and epistemology = a conceptual schema and logical study of the underlying main epistemic concepts /
by:
(Electronic resources)
Logic, language, information, and computation = 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings /
by:
(Electronic resources)
Context, conflict and reasoning = proceedings of the fifth Asian Workshop on Philosophical Logic /
by:
(Electronic resources)
Logic, language, and security = essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
by:
(Electronic resources)
Logic, syntax, and a structural view = the psychology of Trump's hall of mirrors /
by:
(Electronic resources)
Reasoning and the logic of things : = the Cambridge conferences lectures of 1898 /
by:
(Language materials, printed)
How philosophers argue = an adversarial collaboration on the Russell-Copleston debate /
by:
(Electronic resources)
Logic without gaps or gluts = how to solve the paradoxes without sacrificing classical logic /
by:
(Electronic resources)
Oskar Becker, on the logic of modalities (1930) = translation, commentary and analysis /
by:
(Electronic resources)
Logic and implication = an introduction to the general algebraic study of non-classical logics /
by:
(Electronic resources)
A reader's guide to classic papers in formal semantics = volume 100 of studies in linguistics and philosophy /
by:
(Electronic resources)
The exoteric square of opposition = the sixth World Congress on the Square of Opposition /
by:
(Electronic resources)
Interdisciplinary works in logic, epistemology, psychology and linguistics = dialogue, rationality, and formalism /
by:
(Electronic resources)
Logics and falsifications = a new perspective on constructivist semantics /
by:
(Electronic resources)
The road to universal logic = Festschrift for 50th Birthday of Jean-Yves Beziau.. Volume I /
by:
(Electronic resources)
Freedom and enforcement in action = a study in formal action theory /
by:
(Language materials, printed)
Reasonableness and effectiveness in argumentative discourse = fifty contributions to the development of pragma-dialectics /
by:
(Electronic resources)
New directions in paraconsistent logic = 5th WCP, Kolkata, India, February 2014 /
by:
(Electronic resources)
Perspectives on interrogative models of inquiry = developments in inquiry and questions /
by:
(Electronic resources)
Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium /
by:
(Electronic resources)
Connecting analytical thinking and intuition = and the nights abound with inspiration /
by:
(Electronic resources)
Objectivity, realism, and proof = FilMat studies in the philosophy of mathematics /
by:
(Electronic resources)
Alfred Tarski and the "Concept of truth in formalized languages" = a running commentary with consideration of the Polish original and the German translation /
by:
(Electronic resources)
Probability logics = probability-based formalization of uncertain reasoning /
by:
(Electronic resources)
Where Number Lies: Plural marking, numerals, and the collective-distributive distinction.
by:
(Electronic resources)
Words, sentences, and speech acts: An interpretation and defense of the Context Principle.
by:
(Electronic resources)
Chemicals, organisms, and persons: Modal expressivism and a descriptive metaphysics of kinds.
by:
(Electronic resources)
Martin Davis on computability, computational logic, and mathematical foundations
by:
(Electronic resources)
The dialectical forge = juridical disputation and the evolution of Islamic law /
by:
(Electronic resources)
The logic model guidebook : = better strategies for great results /
by:
(Language materials, printed)
Fundamentals of legal argumentation = a survey of theories on the justification of judicial decisions /
by:
(Electronic resources)
Finding one's way through Wittgenstein's Philosophical investigations = new essays on §§1-88 /
by:
(Electronic resources)
Meaning and proscription in formal logic = variations on the propositional logic of William T. Parry /
by:
(Electronic resources)
Humanity's Capacity to Apprehend Aesthetic Value as an Argument for God's Existence.
by:
(Electronic resources)
Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
by:
(Electronic resources)
Relating justification logic modality and type theory in Curry-Howard fashion.
by:
(Electronic resources)
From argument schemes to argumentative relations in the wild = a variety of contributions to argumentation theory /
by:
(Electronic resources)
WITTGENSTEINIAN (adj.) = looking at the world from the viewpoint of Wittgenstein's philosophy /
by:
(Electronic resources)
Well-quasi orders in computation, logic, language and reasoning = a unifying concept of proof theory, automata theory, formal languages and descriptive set theory /
by:
(Electronic resources)
Leibniz and the structure of sciences = modern perspectives on the history of logic, mathematics, epistemology /
by:
(Electronic resources)
Mathematics, logic, and their philosophies = essays in honour of Mohammad Ardeshir /
by:
(Electronic resources)
The self-conscious, thinking subject = a Kantian contribution to reestablishing reason in a post-truth age /
by:
(Electronic resources)
Science, method, and argument in Galileo = philosophical, historical, and historiographical essays /
by:
(Electronic resources)
Aristotelian assertoric syllogistic = incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic /
by:
(Electronic resources)
Advances in mathematical logic = dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions /
by:
(Electronic resources)
Utilizing Scenario Based Simulation Modeling to Optimize Aircraft Fleet Scheduling.
by:
(Electronic resources)
Clarifying the Relationship of Design Thinking to the Military Decision-Making Process.
by:
(Electronic resources)
Exploring the Development of Logico-Mathematical Knowledge in 5- 6-Year-Olds in Kuwait.
by:
(Electronic resources)
Living and Judging: Studies in Pragmatic Reasoning in Philosophy, Literature, and Law.
by:
(Electronic resources)
Automaticity and the Development of Categorisation in Preschool Children: Understanding the Importance of Play.
by:
(Electronic resources)
Essence and necessity, and the Aristotelian modal syllogistic: A historical and analytical study.
by:
(Electronic resources)
New developments in legal reasoning and logic = from ancient law to modern legal systems /
by:
(Electronic resources)
Agency, norms, inquiry, and artifacts = essays in honor of Risto Hilpinen /
by:
(Electronic resources)
The modal logic of John Fabri of Valenciennes (C. 1500) = a study in token-based semantics /
by:
(Electronic resources)
Thinking and calculating = essays in logic, its history and its philosophical applications in honour of Massimo Mugnai /
by:
(Electronic resources)
Quantum, probability, logic = the work and influence of Itamar Pitowsky /
by:
(Electronic resources)
Approximate Bayesian Methods for Optimal Neural Coding and Decision-Making.
by:
(Electronic resources)
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
by:
(Electronic resources)
Risk theory = rational decision in the face of chance, uncertainty, and risk /
by:
(Electronic resources)
Logic, language, information, and computation = 28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /
by:
(Electronic resources)
Logic in question = talks from the Annual Sorbonne Logic Workshop (2011- 2019) /
by:
(Electronic resources)
Dynamic logic : new trends and applications = 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers /
by:
(Electronic resources)
Metaphysics through semantics : the philosophical recovery of the medieval mind = essays in honor of Gyula Klima /
by:
(Electronic resources)
Logic, language, information, and computation = 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings /
by:
(Electronic resources)
Discourse and argumentation in archaeology = conceptual and computational approaches /
by:
(Electronic resources)
The Sea Is Empty. Fisheries and the Global Seafood Sector in the Age of Capital. A Socio-Historical Analysis.
by:
(Electronic resources)
Natural Logic and Natural Deduction for Reasoning About Natural Language.
by:
(Electronic resources)
Security and Resilience of Non-Volatile Memories Based on In-Memory Computing.
by:
(Electronic resources)
Interactive Brains:How Infant Cognition Interacts with the Dynamic Social World.
by:
(Electronic resources)
Designing a Functional Programming Architecture for the Internet of Things.
by:
(Electronic resources)
Investigating Multi-Label Classification for Bio-Inspired Design by Using Text Mining and Natural Language Processing.
by:
(Electronic resources)
Dworkin, Dignity, and the Body : = Constructing a Critical, Carnal Legal Hermeneutic.
by:
(Electronic resources)
Power in Collaborative Governance : = Contingencies of Power Sharing, Relationships Between Power and Trust, and Approaches to Enhancing Power Sharing.
by:
(Electronic resources)
The genesis of logic = reflections on the origins, principles and paths of common-sense reasoning /
by:
(Electronic resources)
A comparative analysis: Buddhist Madhyamaka and Daoist Chongxuan (Twofold Mystery) in the early Tang (618-720).
by:
(Language materials, printed)
Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.
by:
(Electronic resources)
Arsyad al-Banjari's insights on parallel reasoning and dialectic in law = the development of Islamic argumentation theory in the 18th Century in Southeast Asia /
by:
(Electronic resources)
Applying reflective equilibrium = towards the justification of a precautionary principle /
by:
(Electronic resources)
British versions of Book II of Euclid's Elements = geometry, arithmetic, algebra (1550-1750) /
by:
(Electronic resources)
Inquisitive logic = consequence and inference in the realm of questions /
by:
(Electronic resources)
Prawitz's epistemic grounding = an investigation into the power of deduction /
by:
(Electronic resources)
Error logic = paving pathways for intelligent error identification and management /
by:
(Electronic resources)
Action, meaning, and argument in Eric Weil's logic of philosophy = a development of pragmatist, expressivist, and inferentialist themes /
by:
(Electronic resources)
Experimental philosophy of language = perspectives, methods, and prospects /
by:
(Electronic resources)
Johannes von Kries = principles of the probability calculus : a logical investigation /
by:
(Electronic resources)
Non-reflexive logics, non-individuals, and the philosophy of quantum mechanics = essays in honour of the philosophy of Decio Krause /
by:
(Electronic resources)
Logic, rationality, and interaction = 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023 : proceedings /
by:
(Electronic resources)
Across the Border: Military Interventions & Decision-Making during the Obama Administration.
by:
(Electronic resources)
Multistage Stochastic Programming: Algorithms, Modelling and Applications.
by:
(Electronic resources)
The Evolution of Logic Locking: Towards Next Generation Logic Locking Countermeasures.
by:
(Electronic resources)
Modeling, Mapping and Programming on an FPGA Emulated In-Memory Computing Architecture.
by:
(Electronic resources)
Movies that Sell: A Rhetorical Analysis of Product Placements in Marvel Movies.
by:
(Electronic resources)
Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour.
by:
(Electronic resources)
The Homely and the Foreign: Heidegger and Thinking the Question of Existential Meaning.
by:
(Electronic resources)
About Time: Lexical, Structural, and Discourse Constraints on the Temporal Interpretation of Nominal Predicates.
by:
(Electronic resources)
Political Theology the "Modern Way": The Case of Jacques Almain (d. 1515).
by:
(Electronic resources)
A Novel Data-Driven Fault Tree Methodology for Fault Diagnosis and Prognosis.
by:
(Electronic resources)
Weighted Computations : = Semantics and Program Logics = Computacoes Pesadas: Semanticas e Logicas de Programas.
by:
(Electronic resources)
Innovation Based Transmission in Ai-Enabled Sensor Networks for 6G Iot Scenario = = Yapay Zeka Etkinlenmis Sensor Aglarinda 6G Nesnelerin Interneti Senaryolari Icin Inovasyon Bazli Iletim.
by:
(Electronic resources)
Functional and Structural Changes of the Hippocampal and Amygdala Subregions in Autism Throughout Development.
by:
(Electronic resources)
The Stratigraphy of a Community : = 150 Years of Language Contact and Change in Babuyan Claro, Philippines.
by:
(Electronic resources)
Evidence, Inference and Human Evolution : = Essays in the Philosophy of Cognitive Archaeology.
by:
(Electronic resources)
Designing Product-Service System Solutions for Value Co-Creation - Integrating Product-Service System and Service Design Approaches.
by:
(Electronic resources)
Sequential Optimization under Uncertainty : = Models, Algorithms, and Applications.
by:
(Electronic resources)
Use and Analysis of Attack Graphs for Decision Making in a Cybersecurity Defense Plan.
by:
(Electronic resources)
A Sociocognitive Approach to Audiovisual Translated Texts : = Dubbing /Subtitling in TV Series (English/Italian).
by:
(Electronic resources)
Patterns and Probabilities : = A Study in Algorithmic Randomness and Computable Learning.
by:
(Electronic resources)
Reliability Analysis of Overhead Transmission Line Multilayered Stranded Conductor/Clamp Assemblies for Fretting Fatigue Failure.
by:
(Electronic resources)
The Institutionalization of the Right to Truth in Mexico : = Effects of the Interamerican System of Human Rights.
by:
(Electronic resources)
Language and Sensorimotor Simulation in Conceptual Processing : = Multilevel Analysis and Statistical Power.
by:
(Electronic resources)
The Modulation of Semantic Association Effects By Relational and Syntactic Structures : = Behavioral and Brain Correlates.
by:
(Electronic resources)
Adaptive Energy Saving and Mobility Support IPv6 Routing Protocol in Low-power and Lossy Networks for Internet of Things and Wireless Sensor Networks.
by:
(Electronic resources)
Subject Pronoun Distribution in Child Heritage Speakers of Spanish : = Semantic Constraints Regulation Overt/Null Pronouns in Focus/Topic Environments.
by:
(Electronic resources)
Learning Based Food Image Analysis - Detection, Recognition and Segmentation.
by:
(Electronic resources)
Explore the Design and Authoring of Ai-driven Context-aware Augmented Reality Experiences.
by:
(Electronic resources)
Clear thinking = structured analytic techniques and strategic foresight analysis for decisionmakers /
by:
(Electronic resources)
Portrait of young Gödel = education, first steps in logic, the problem of completeness /
by:
(Electronic resources)
Perspectives on deduction = contemporary studies in the philosophy, history and formal theories of deduction /
by:
(Electronic resources)
Universal logic, ethics, and truth = essays in honor of John Corcoran (1937-2021) /
by:
(Electronic resources)
Many-valued semantics and modal logics = essays in honour of Yuriy Vasilievich Ivlev /
by:
(Electronic resources)
GAN-Based Super-Resolution and Segmentation of Retinal Layers in Optical Coherence Tomography Scans.
by:
(Electronic resources)
Show more
Fewer
Subjects