search

catrincm / forallx-bris

Bristol version of forallx, an introduction to formal logic
Creative Commons Attribution Share Alike 4.0 International
1 stars 0 forks source link

Symbolisation key in FOL #32

Open catrincm opened 9 months ago

catrincm commented 9 months ago

Symbolisation key for FOL should have gaps without subscripts. o/w encoding semantics into the logical form. Symbolisation key for FOL should NOT have a domain.