Category:Journal Journal of Symbolic Logic
From BibNetWiki
Jump to:
navigation
,
search
Papers published in the Journal "Journal of Symbolic Logic"
Articles in category "Journal Journal of Symbolic Logic"
There are 44 articles in this category.
A
A New Deconstructive Logic: Linear Logic
A formal theorem in Church's theory of types
A note on the Entscheidungsproblem
B
Belief Contraction as Nonmonotonic Inference
C
Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski
Computability and lambda-definability
E
Existential Quotients for Type Theoey and The Consistency Problem for NF
Existentially Closed Structures and Godel's Second Incompleteness Theorem
Extensions of some theorems of Godel and Church
F
Frege's Theorem in a Constructive Setting
H
Hybrid Logics: Characterization, Interpolation, and Complexity
I
Interpreting Classical Theories in Constructive Ones
L
Logic and Time
Logic and time
L cont.
Logics of Belief Change without Linearity
O
On Polynomial Time Computation over Unordered Structures
On Tarski on Models
On sentences which are true of direct unions of algebras
On the Logic of Theory Change: Partial Meet Contraction Functions and Their Associated Revision Functions
P
Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Logic
Practical forms of type theory
R
Randomness and Halting Probabilities
Representability in Second-Order Propositional Poly-Modal Logic
Review of 'Contrary-to-Fact Conditionals', by Julius R. Weinberg
Review of 'Counterfactual Conditionals' and 'Hypothetical Statements and Phenomenalism', by Robert Brown and John Watling
Review of 'Counterfactual Conditionals', by B.J. Diggs
Review of 'Law Statements and Counterfactual Inference', by Roderick M. Chisholm
Review of 'Recent Discussions on Subjunctive Conditionals', by Erna Schneider
Review of 'Subjunctive Conditionals', by Stuart Hampshire
R cont.
Review of 'The Analysis of Conditional Sentences', by D.J. O'Conner
Review of 'The Contrary-to-Fact Conditional', by F.L. Will
Review of emphExtending Deontic Logic for the Formalization of Legal Rules, by Lamb'er M.M. Royakkers
Review of it Extending Deontic Logic for the Formalization of Legal Rules, by Lamb'er M.M. Royakkers
Review of it Russell et le Cercle des Paradoxes, by Philippe de Rouilhan
S
String Theory
Syntactical Truth Predicates for Second-Order Arithmetic
T
The Analytic Conception of Truth and the Foundations of Arithmetic
The Logic of Choice
The Rise and Fall of Typed Sentences
The Truth is Never Simple
The calculus of individuals and its uses
The p -functions in lambda-K-conversion
The p-function in lambda-K-conversion
The use of dots as brackets in Church's system
Category
:
Journal
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
related