# barwise

## LP&L Trees 6 Identity Samples

Topic
Logical System

### Reading

John Barwise and John Etchemendy, [1999] Language, Proof and Logic

For the Tarski's World part of LP&L, a standard interpretation is used of various sized polyhedra on a chessboard. Here is a link to their screenshot of it Tarski's World.

Here we are just trying a few samples to see if the software is running correctly.

## LP&L Trees 0 Video: Advanced Tarksi World Tree

Topic
Logical System

### Reading

John Barwise and John Etchemendy, [1999] Language, Proof and Logic

This video shows extending, closing, and Analytical Consequence for a pretty advanced example tree. The tree itself is broad, spreading a long way from left to right. This leads to some scrolling back and forth because the applet is being held to the width of a printable page.

## LP&L Trees 5 Predicate Samples

Topic
Logical System

### Reading

John Barwise and John Etchemendy, [1999] Language, Proof and Logic

For the Tarski's World part of LP&L, a standard interpretation is used of various sized polyhedra on a chessboard. Here is a link to their screenshot of it Tarski's World.

## LP&L Trees 4 Propositional Samples

Topic
Logical System

### Reading

John Barwise and John Etchemendy, [1999] Language, Proof and Logic

For the Tarski's World part of LP&L, a standard interpretation is used of various sized polyhedra on a chessboard, for example,

Here we are just trying a few samples to see if the software is running correctly.

## LP&L Trees 3 Analytical Consequence Ana Con III

Topic
Logical System

### Reading

John Barwise and John Etchemendy, [1999] Language, Proof and Logic

What follows are further Ana Con inferences.

## LP&L Trees 2 Analytical Consequence Ana Con II

Topic
Logical System

### Reading

John Barwise and John Etchemendy, [1999] Language, Proof and Logic

What follows are further Ana Con inferences.

## LP&L Trees 1 Analytical Consequence Ana Con I

Topic
Logical System

### Reading

John Barwise and John Etchemendy, [1999] Language, Proof and Logic

LP&L comes with a Normal or Standard Interpretation, and this certainly affects how trees should and can behave.

For example, the polyhedra are either tetrahedra, cubes, or dodecahedra. If a particular polyhedron is a cube it cannot be a tetrahedron, so Cube(a)&Tet(a) cannot be true and a branch containing Cube(a) and Tet(a) should close or be able to close.

## LP&L Trees [Tarski's World]

Topic
Logical System

### Reading

John Barwise and John Etchemendy, [1999] Language, Proof and Logic

For the Tarski's World part of LP&L, a standard interpretation is used of various sized polyhedra on a chessboard. Here is a link to some information about it Tarski's World.