Switch to: References

Add citations

You must login to add citations.
  1. The Theory of Form Logic.Wolfgang Freitag & Alexandra Zinke - 2012 - Logic and Logical Philosophy 21 (4):363-389.
    We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased syntax rules for combining terms into formulas. We develop a generic syntax and semantics for such systems and provide a completeness proof (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation