Logic-as-modeling : a new perspective on formalization

Logic-as-modeling : a new perspective on formalization

Show other versions (1)

Bibliographic Details
Main Author:	Cook, Roy T.
Language:	English
Published:	The Ohio State University / OhioLINK 2000
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1260202088

Similar Items

Logic-as-modeling : a new perspective on formalization /
by: Cook, Roy T.
Published: (2000)

The Formal Logic of History
by: Ernst Troeltsch
Published: (2020-12-01)

Informalizing Formal Logic
by: Antonis Kakas
Published: (2019-06-01)

Formalizing Informal Logic
by: Douglas Walton, et al.
Published: (2015-12-01)

Formalizing Informal Logic
by: Douglas Walton, et al.
Published: (2015-12-01)

Logics of formal inconsistency
by: Almeida, João Marcos de
Published: (2005)

Formal Model of IDS Based on BDI Logic
by: Ján Perháč, et al.
Published: (2021-09-01)

A Role for Formal Logic in Informal Logic Courses
by: Mark VVeinstein
Published: (1984-01-01)

Limitations of Formal (Logical) Semantics
Published: (2020-10-01)

Formal Logic for Informal Logicians
by: David Sherry
Published: (2008-02-01)

The formal logic of business rules
by: Ivana Rábová
Published: (2007-01-01)

Proposal for the Formalization of Dialectical Logic
by: José Luis Usó-Doménech, et al.
Published: (2016-12-01)

FORMAL LOGIC FOR THE ISLAMIC KNOWLEDGE
by: Amin A.K Vazir
Published: (2018-12-01)

Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985)

The formalization of implication in propositional logic.
by: Schindler, Patrick. F.
Published: (1963)

The logic of the nation: Nationalism, formal logic, and interwar Poland
by: David E. Dunning
Published: (2018-12-01)

Reasoning With Both Informal and Formal Logic
by: Roderic A. Girle
Published: (1988-01-01)

The Logic Process Formalism of the Informational Domain
Published: (2007-01-01)

Proposed model for Statement of Cash Flows based on formal logic
by: shahin korzebor
Published: (2017-08-01)

A formal logical analysis of causal relations
by: Taylor, Christopher Nigel
Published: (1993)

Bridging the Gap between Classical Logic Based Formalisms and Logic Programs
Published: (2012)

A formal approach to building incremental and hierarchical information and logical models
by: N. Komkov, et al.
Published: (2016-04-01)

Logic Programming Tools for Formal Software Specification
by: Halina Przymusińska
Published: (2011-09-01)

Why Formal Logic is Essential for Critical Thinking
by: Donald L. Hatcher
Published: (1999-01-01)

Formal Concept Analysis Methods for Description Logics
by: Sertkaya, Baris
Published: (2008)

The importanse of dialectic and formal logics in the process of diagnostics
by: I Ja Sultanov
Published: (2008-09-01)

Husserl Between Frege’s Logicism And Hilbert’s Formalism
by: Ulrich Majer
Published: (2009-10-01)

Formal semantics and the logical structure of programming languages
by: DeMillo, Richard Alan
Published: (2006)

Parallel logic simulation and applied formal methods
by: Wood, Kenneth Robert
Published: (1992)

DECISION PROBLEMS AND RECURSIVENESS IN FORMAL LOGIC SYSTEMS
by: Iveth Martínez, et al.
Published: (2017-04-01)

Formal representation of acupuncture : concept, theory and logic
by: Gao, Yongsheng
Published: (2010)

AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
by: MARIO H. A. TASCHERI
Published: (1985)

Decision Logic-Styled Formalisms for Knowledge Representation
by: Tuan-Fang Fan, et al.
Published: (2008)

The deployable Logic of Complex factors: Rethink the Formalism.
by: Yu-Sheng,Lin, et al.
Published: (2015)

A Formal Approach to the Problem of Logical Non-Omniscience
by: Scott Garrabrant, et al.
Published: (2017-07-01)

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
by: WALTER CARNIELLI, et al.
Published: (2015-01-01)

A Formal Approach to the Threshold Logic Network Optimization
by: Huang, Chiao Wei, et al.
Published: (2016)

Context-Dependent Epistemic Logic : A Formal System
by: Yuan-Ho Yao, et al.
Published: (2016)

Logic as (Normative) Inference Theory: Formal vs. Non-formal Theories of Inference Goodness
by: Lilian Bermejo-Luque
Published: (2009-09-01)

Comments on Patricia Blanchette's Book: Frege's Conception of Logic
by: Roy T Cook
Published: (2015-08-01)