You are not currently logged in.
Access JSTOR through your library or other institution:
M. R. Donnadieu and C. Rambaud
Studia Logica: An International Journal for Symbolic Logic
Vol. 45, No. 3 (1986), pp. 237-250
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015267
Page Count: 14
You can always find the topics here!Topics: Algebra, Logical theorems, Universal algebra, Theoretical linguistics, Plant roots, Formal languages, Predicates, Category theory, Symbolism, Equivalence relation
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
This paper introduces conditional logic, that is, a variant of free logic where the existence condition of a function is defined by a formula of the formal language. Syntax and semantics are developed. A completeness theorem is given.
Studia Logica: An International Journal for Symbolic Logic © 1986 Springer