FOM: BHK semantics for consequence?

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Mon Mar 20 19:02:20 EST 2000

Previous message: FOM: 83:Tame Boolean Relation Theory
Next message: FOM: f.o.m. for the general public
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Harvey,
can your semantics for theorems of BHK be extended somehow so as to cope
with logical consequence from arbitrary sets of premises?
Neil Tennant

Previous message: FOM: 83:Tame Boolean Relation Theory
Next message: FOM: f.o.m. for the general public
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list