Views: 1
Language: English
Introduction to Categorical Logic
Introduction to Categorical Logic
[DRAFT: September 14, 2009]
Steven Awodey
Andrej Bauer
September 14, 2009
Contents
1 Algebraic Theor ... more>>
Tags: categorical logic,
category theory,
introduction to logic,
cambridge university press,
truth tables,
propositional logic,
introduction to higher-order categorical...,
informal fallacies,
categorical syllogism,
j. lambek,
categorical propositions,
middle term,
categorical proposition,
venn diagrams,
mathematical logic
Views: 0
Language: English
What is a Logic
What is a Logic?
Till Mossakowski, Joseph Goguen, R˘zvan Diaconescu and Andrzej a Tarlecki
Mathematics Subject Classification (2000). Primary 03C95; ... more>>
Views: 48
Language:
Views: 1
Language: UNKNOWN
An introduction to algorithmic game semantics
An introduction to algorithmic game semantics
Guy McCusker
University of Bath
GAMES 2009, Udine
Some questions
Consider a simple programming ... more>>
Tags: game semantics,
full abstraction,
programming languages,
guy mccusker,
samson abramsky,
model checking,
linear logic,
observational equivalence,
game theory,
computability logic,
denotational semantics,
computational problems,
formal theory,
geometry of interaction,
university of bath
Views: 1
Language: English
A Paraconsistent Semantics for Generalized Logic Programs
A Paraconsistent Semantics for Generalized Logic Programs
Heinrich Herre1,2 and Axel Hummel2
1
Department of Computer Science, Faculty of Mathema ... more>>
Tags: logic programs,
logic programming,
well-founded semantics,
v. s. subrahmanian,
stable model semantics,
semantic web,
nonmonotonic reasoning,
stable models,
default negation,
paraconsistent logic,
classical logic,
deductive databases,
default logic,
integrity constraints,
truth values
Views: 0
Language: English
A Default Approach to Semantics of Logic Programs with
A Default Approach to Semantics of Logic Programs with Constraint Atoms
Yi-Dong Shen1 and Jia-Huai You2
State Key Laboratory of Computer Science, In ... more>>
Tags: logic programs,
logic programming,
default logic,
stable models,
logic program,
nonmonotonic reasoning,
stable model semantics,
semantics of logic,
stable model,
well-founded semantics,
model semantics,
defeasible logic,
negation as failure,
well-founded model,
truth value
Views: 0
Language: English
Decision Problems For Second-Order Linear Logic
Reprint from: Tenth Annual IEEE Symposium on Logic in Computer Science (LICS'95) to be held in San Diego, California, June 26-29 1995
Decision Prob ... more>>
Tags: linear logic,
decision problems,
model checking,
patrick lincoln,
p. lincoln,
intuitionistic logic,
andre scedrov,
computer science,
logic in computer science,
sequent calculus,
logic programming,
complexity classes,
intuitionistic linear logic,
proof systems,
formal verification
Views: 0
Language: English
Introduction to Semantics
Introduction to Semantics
Steve Stevenson Clemson University
Inquiring Minds Want To Know
Consider the perfect freshman 101 student. She ... more>>
Views: 43
Language:
Elementary Linear Algebra
Elementary Linear Algebra more>>
Tags: Elementary Linear Algebra,
Linear Algebra,
Vector Spaces,
linear transformations,
Eigenvalues and Eigenvectors,
Ron Larson,
the matrix,
Howard Anton,
LINEAR EQUATIONS,
Final exam,
Prentice Hall,
Complex Numbers,
Systems of Linear Equations,
position vector,
Stephen Andrilli,
Elementary Linear Algebra,
Linear Algebra,
Vector Spaces,
linear transformations,
Eigenvalues and Eigenvectors,
Ron Larson,
the matrix,
Howard Anton,
LINEAR EQUATIONS,
Final exam,
Prentice Hall,
Complex Numbers,
David C,
b c
Views: 52
Language: English
Views: 1
Language: English
Declarative Semantics of Input Consuming Logic Programs
Declarative Semantics of Input Consuming Logic Programs
Annalisa Bossi1 , Nicoletta Cocco1 , Sandro Etalle2,3 , and Sabina Rossi1
1
Universit` di ... more>>
Tags: logic programs,
logic programming,
computational logic,
declarative semantics,
program development,
sandro etalle,
annalisa bossi,
theory and practice of logic programming,
sabina rossi,
declarative programming,
declarative languages,
synthesis and transformation,
nicoletta cocco,
lecture notes in computer science,
information flow
Views: 1
Language: English
Views: 13
Language: UNKNOWN