#
Logic
Resource Information
The concept ** Logic** represents the subject, aboutness, idea or notion of resources found in **University of Oklahoma Libraries**.

The Resource
Logic
Resource Information

The concept

**Logic**represents the subject, aboutness, idea or notion of resources found in**University of Oklahoma Libraries**.- Label
- Logic

## Context

Context of Logic#### Subject of

No resources found

No enriched resources found

- A Course in Mathematical Logic for Mathematicians
- A Modern Perspective on Type Theory : From its Origins until Today
- Abductive Reasoning : Logical Investigations into Discovery and Explanation
- Adaptive Logics for Defeasible Reasoning : Applications in Argumentation, Normative Reasoning and Default Reasoning
- Analogy in Indian and Western Philosophical Thought
- Analysis and Interpretation in the Exact Sciences : Essays in Honour of William Demopoulos
- Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
- Anaphora and Type Logical Grammar
- Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
- Approaches to Legal Rationality
- Arguing on the Toulmin Model : New Essays in Argument Analysis and Evaluation
- Argument Structure: : Representation and Theory
- Argumentation Methods for Artificial Intelligence in Law
- Argumentative Indicators in Discourse : A Pragma-Dialectical Study
- Aristotle's Modal Proofs : Prior Analytics A8-22 in Predicate Logic
- Around and Beyond the Square of Opposition
- Around the Tree : Semantic and Metaphysical Issues Concerning Branching and the Open Future
- Ars Topica : The Classical Technique of Constructing Arguments from Aristotle to Cicero
- Artificial General Intelligence
- Belief Revision in Non-Classical Logics
- Belief Revision meets Philosophy of Science
- Between Logic and Reality : Modeling Inference, Action and Understanding
- Brazilian Studies in Philosophy and History of Science : An account of recent works
- Cambridge and Vienna : Frank P. Ramsey and the Vienna Circle
- Computational Complexity of Solving Equation Systems
- Conditionals and Modularity in General Logics
- Constructive Negations and Paraconsistency
- Controversy as News Discourse
- Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
- David Makinson on Classical Methods for Non-Classical Problems
- Debate Dynamics: How Controversy Improves Our Beliefs
- Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
- Dissociation in Argumentative Discussions : A Pragma-Dialectical Perspective
- Dual Tableaux: Foundations, Methodology, Case Studies
- Dynamic Epistemic Logic
- Dynamic Formal Epistemology
- EPSA Epistemology and Methodology of Science : Launch of the European Philosophy of Science Association
- EPSA Philosophical Issues in the Sciences : Launch of the European Philosophy of Science Association
- Epistemic Foundations of Fuzziness : Unified Theories on Decision-Choice Processes
- Epistemology versus Ontology : Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
- Ernst Zermelo : An Approach to His Life and Work
- Ernst Zermelo : An Approach to His Life and Work
- Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
- Explaining Games : The Epistemic Programme in Game Theory
- Extensionalism: The Revolution in Logic
- Fallacies and Judgments of Reasonableness : Empirical Research Concerning the Pragma-Dialectical Discussion Rules
- Formal Ontology and Conceptual Realism
- Formalizing Medieval Logical Theories : Suppositio, Consequentiae and Obligationes
- Foundational Theories of Classical and Constructive Mathematics
- Freedom and Enforcement in Action : A Study in Formal Action Theory
- Fuzziness and Approximate Reasoning : Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
- Fuzzy Rationality : A Critique and Methodological Unity of Classical, Bounded and Other Rationalities
- Games, Norms and Reasons : Logic at the Crossroads
- Games: Unifying Logic, Language, and Philosophy
- German Idealism and the Problem of Knowledge: : Kant, Fichte, Schelling, and Hegel
- Giving Reasons : A Linguistic-Pragmatic Approach to Argumentation Theory
- Goguen Categories : A Categorical Approach to L-fuzzy Relations
- Groundwork in the Theory of Argumentation : Selected Papers of J. Anthony Blair
- Handbook of Philosophical Logic
- Handbook of Philosophical Logic : Volume 15
- Handbook of Philosophical Logic : Volume 16
- Handbook of Philosophical Logic : Volume 17
- Handbook of Philosophical Logic, 2nd Edition
- Handbook of Reflection and Reflective Inquiry : Mapping a Way of Knowing for Professional Reflective Inquiry
- Heuristic Reasoning
- Heuristic Strategies in the Speeches of Cicero
- Husserl’s Logical Investigations in the New Century: Western and Chinese Perspectives
- Hybrid Logic and its Proof-Theory
- Infinite Regress Arguments
- Information and Knowledge : A Constructive Type-theoretical Approach
- Information, Interaction and Agency
- Institution-independent Model Theory
- Interactive Wittgenstein : Essays in Memory of Georg Henrik von Wright
- Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics : Dialogue, Rationality, and Formalism
- Interpreted Languages and Compositionality
- Introduction to Logic and Theory of Knowledge : Lectures 1906/07
- Judgement and the Epistemic Foundation of Logic
- Knowledge in Formation : A Computational Theory of Interpretation
- Krister Segerberg on Logic of Actions
- Language, Meaning, Interpretation
- Leśniewski's Systems of Logic and Foundations of Mathematics
- Logic in Reality
- Logic in the Theory and Practice of Lawmaking
- Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
- Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
- Logic, Mathematics, Philosophy, Vintage Enthusiasms : Essays in Honour of John L. Bell
- Logic, Thought and Action
- Logica : Volume 1 - Dimostrazioni e modelli al primo ordine
- Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
- Logical Tools for Handling Change in Agent-Based Systems
- Logicism, Intuitionism, and Formalism : What Has Become of Them?
- Logos of Phenomenology and Phenomenology of The Logos. Book Four : The Logos of Scientific Interrogation, Participating in Nature-Life-Sharing in Life
- Mathematical Problems from Applied Logic I : Logics for the XXIst Century
- Methods of Legal Reasoning
- Modalities and Multimodalities
- Modern Logic 1850-1950, East and West
- Natural Deduction, Hybrid Systems and Modal Logics
- Neural-Symbolic Cognitive Reasoning
- New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014
- Nuel Belnap on Indeterminism and Free Action
- On Law and Reason
- One Hundred Prisoners and a Light Bulb
- Paraconsistency: Logic and Applications
- Paradoxes
- Paradoxes in Probability Theory
- Phenomenology and Mathematics
- Philosophy of Syntax : Foundational Topics
- Pluralism in Mathematics: A New Position in Philosophy of Mathematics
- Pondering on Problems of Argumentation : Twenty Essays on Theoretical Issues
- Preference Change : Approaches from philosophy, economics and psychology
- Probabilistic Logics and Probabilistic Networks
- Procedural Semantics for Hyperintensional Logic : Foundations and Applications of Transparent Intensional Logic
- Proof Theory for Fuzzy Logics
- Proof, Computation and Agency : Logic at the Crossroads
- Prospects of Legal Semiotics
- Reactive Kripke Semantics
- Reasoning about Preference Dynamics
- Recent Trends in Philosophical Logic
- Recognizing Variable Environments : The Theory of Cognitive Prism
- Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
- Rethinking Popper
- Rethinking the BSE Crisis : A Study of Scientific Reasoning under Uncertainty
- Rhetorical Perspectives on Argumentation : Selected Essays by David Zarefsky
- Rigid Flexibility : The Logic of Intelligence
- Rudolf Carnap and the Legacy of Logical Empiricism
- Set Theory : With an Introduction to Real Point Sets
- Signs of Logic : Peircean Themes on the Philosophy of Language, Games, and Communication
- Singular Reference: A Descriptivist Perspective
- Special Sciences and the Unity of Science
- Strict Finitism and the Logic of Mathematical Applications
- Studies in Legal Logic
- Subjective Logic : A Formalism for Reasoning Under Uncertainty
- Substantive Perspectivism: An Essay on Philosophical Concern with Truth
- The Age of Alternative Logics : Assessing Philosophy of Logic and Mathematics Today
- The Arché Papers on the Mathematics of Abstraction
- The Argument of Mathematics
- The Aristotelian Tradition and the Rise of British Empiricism : Logic and Epistemology in the British Isles (1570–1689)
- The Dynamics of Thought
- The Golden Age of Polish Philosophy : Kazimierz Twardowski's Philosophical Legacy
- The Limits of Logical Empiricism : Selected Papers of Arthur Pap
- The Logic of Categorial Grammars : A deductive account of natural language syntax and semantics
- The Nature of Truth : An updated approach to the meaning of truth ascriptions
- The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
- The Realism-Antirealism Debate in the Age of Alternative Logics
- The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
- The Selected Correspondence of L.E.J. Brouwer
- The Unity of Science in the Arabic Tradition : Science, Logic, Epistemology and their Interactions
- The Vienna Circle in the Nordic Countries. : Networks and Transformations of Logical Empiricism
- Topical Themes in Argumentation Theory : Twenty Exploratory Studies
- Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
- Towards a General Theory of Classifications
- Treatise on Intuitionistic Type Theory
- Truth and Falsehood : An Inquiry into Generalized Logical Values
- Turing’s Revolution : The Impact of His Ideas about Computability
- Uncertainty : The Soul of Modeling, Probability & Statistics
- Uncertainty, Rationality, and Agency
- Unity, Truth and the Liar : The Modern Relevance of Medieval Solutions to the Liar Paradox
- Vague Objects and Vague Identity : New Essays on Ontic Vagueness
- Vagueness: A Guide
- Visual Reasoning with Diagrams
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
- Why Is Everyone Else Wrong? : Explorations in Truth and Reason
- Working with Preferences: Less Is More

## Embed

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/Lp1ykWrqeQ8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/Lp1ykWrqeQ8/">Logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Logic

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/Lp1ykWrqeQ8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/Lp1ykWrqeQ8/">Logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>`