Dear All,
We are happy to announce a new edition
of the Dogelog player:
- library(react):
The library(markup) library was rewritten
and some new predicates were added. All
predicates related to DOM events are now
available in a new library library(react).
Both libraries also include conveniences for SVG.
- library(json):
The library(json) library, previously
rolled out for Jekejeke Prolog, is also
available for Dogelog Player. The library
has now been extended slightly, so there
is a predicate to convert JSON terms between
atoms, and predicates to address JSON
terms which are objects.
- GNU Prolog Stub:
Libraries like library(json) can also be
used from GNU Prolog if ensure_loaded/1 is
replaced with include/1. GNU Prolog results
have been added to the benchmark and
compliance testing suites. Perhaps it will
soon be possible to compile Dogelog Player
with GNU Prolog.
Have Fun!
Jan Burse, 18.06.2023, http://www.xlog.ch/
In this article we provide a sequel to our automated--- Synchronet 3.20a-Linux NewsLink 1.114
first order theorem proover. The initial version
was only based on the implicational fragment of
first order logic. We changed the prover to also support
conjunction.
The result is a new prover again written in Dogelog
Player, a Prolog system for the JavaScript and Python
platform. For the JavaScript platform, the prover can
be run in the browser completely client side.
The exact same conjunction rules can be also added
to intuitionistic logic. Here in classical logic
conjunction is rather redundant, since we have the
dual ¬(A ∧ B) = (A ⊃ ¬B). If we would further add
disjunction, we would end in bi-cartesian logic.
See also:
Cartesian Logic in Dogelog Player https://twitter.com/dogelogch/status/1677059262734901254
Cartesian Logic in Dogelog Player
https://www.facebook.com/groups/dogelog
Mild Shock wrote:
Dear All,
We are happy to announce a new edition
of the Dogelog player:
- library(react):
The library(markup) library was rewritten
and some new predicates were added. All
predicates related to DOM events are now
available in a new library library(react).
Both libraries also include conveniences for SVG.
- library(json):
The library(json) library, previously
rolled out for Jekejeke Prolog, is also
available for Dogelog Player. The library
has now been extended slightly, so there
is a predicate to convert JSON terms between
atoms, and predicates to address JSON
terms which are objects.
- GNU Prolog Stub:
Libraries like library(json) can also be
used from GNU Prolog if ensure_loaded/1 is
replaced with include/1. GNU Prolog results
have been added to the benchmark and
compliance testing suites. Perhaps it will
soon be possible to compile Dogelog Player
with GNU Prolog.
Have Fun!
Jan Burse, 18.06.2023, http://www.xlog.ch/
We are currently investigating cartesian logic. To--- Synchronet 3.20a-Linux NewsLink 1.114
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
Now that we have a logic framework for propositional--- Synchronet 3.20a-Linux NewsLink 1.114
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
Sysop: | DaiTengu |
---|---|
Location: | Appleton, WI |
Users: | 919 |
Nodes: | 10 (1 / 9) |
Uptime: | 71:42:19 |
Calls: | 12,186 |
Calls today: | 1 |
Files: | 186,526 |
Messages: | 2,236,744 |