Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.javascript > #41367

Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub)

Show all headers | View raw

Now that we have a logic framework for propositional
logics, we use it to explore genuine negation in
cartesian logic. So far we use ~A = A -> f as an
abbrevation, so ~A was replaced before starting
the proof search. Now we present a cartesian logic
that has genuinly formulas of the form ~A.

We use a notation change idea burried in Johansson
Ingebrigts Minimal Logic Paper from 1937. Further
the logic framework was extended by a generic
usage analysis. Our ~(A=>B) = A/\~B duality
investigation could be replicated with the
new genuine negation.

See also:

Genuine Negation in Cartesian Logic
https://twitter.com/dogelogch/status/1681701492435058695

Genuine Negation in Cartesian Logic
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> 
> We are currently investigating cartesian logic. To
> reduce the complexity of our endeavour we explored
> embedded implication as a means to provide a logic
> framework. We can show natural deduction and gentzen
> style proof search, as well as fitch proof rendering.
> 
> We use a proof renderer that is based the rule/2 clauses
> for natural deduction and not by the right/2 and left/4
> clauses for Gentzen style. Toying with our ~(A->B) = (A/\~B)
> example, we find that Gentzen style, although still non-
> deterministic, is 25-times faster than natural deduction.
> 
> See also:
> 
> Embedded Implication as a Logic Framework
> https://twitter.com/dogelogch/status/1681326945701593088
> 
> Embedded Implication as a Logic Framework
> https://www.facebook.com/groups/dogelog

Back to comp.lang.javascript | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <janburse@fastmail.fm> - 2023-06-18 13:01 +0200
  Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mostowski Collapse <janburse@fastmail.fm> - 2023-07-06 23:04 +0200
    Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <bursejan@gmail.com> - 2023-07-18 08:47 -0700
      Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <janburse@fastmail.fm> - 2023-07-20 10:49 +0200
        Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <bursejan@gmail.com> - 2023-07-22 08:03 -0700
          Re: ANN: Dogelog Player 1.0.6 (GNU Prolog Stub) Mild Shock <janburse@fastmail.fm> - 2023-07-27 18:24 +0200

csiph-web